Sciweavers

148 search results - page 1 / 30

» ccs 2006

25

CCS
2006
ACM

108views Security Privacy» more CCS 2006»

Framework for malware resistance metrics

14 years 2 months ago

Framework for malware resistance metrics

Download www.hanno-langweg.de

Hanno Langweg

claim paper

Read More »

23

CCS
2006
ACM

124views Security Privacy» more CCS 2006»

P-congruences as non-interference for the pi-calculus

14 years 2 months ago

P-congruences as non-interference for the pi-calculus

Download www.dsi.unive.it

Silvia Crafa, Sabina Rossi

claim paper

Read More »

32

CCS
2006
ACM

106views Security Privacy» more CCS 2006»

Salsa: a structured approach to large-scale anonymity

14 years 2 months ago

Salsa: a structured approach to large-scale anonymity

Download ranger.uta.edu

Arjun Nambiar, Matthew Wright

claim paper

Read More »

29

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

14 years 2 months ago

Computationally sound secrecy proofs by mechanized flow analysis

Download www.infsec.cs.uni-saarland.de

Michael Backes, Peeter Laud

claim paper

Read More »

33

CCS
2006
ACM

233views Security Privacy» more CCS 2006»

Inferring the source of encrypted HTTP connections

14 years 2 months ago

Inferring the source of encrypted HTTP connections

Download prisms.cs.umass.edu

Marc Liberatore, Brian Neil Levine

claim paper

Read More »

« Prev « First page 1 / 30 Last » Next »