Sciweavers

148 search results - page 1 / 30

» ccs 2006

10

CCS
2006
ACM

108views Security Privacy» more CCS 2006»

Framework for malware resistance metrics

13 years 8 months ago

Framework for malware resistance metrics

Download www.hanno-langweg.de

Hanno Langweg

claim paper

Read More »

8

CCS
2006
ACM

124views Security Privacy» more CCS 2006»

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

13 years 8 months ago

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

Download www.dsi.unive.it

Silvia Crafa, Sabina Rossi

claim paper

Read More »

8

CCS
2006
ACM

106views Security Privacy» more CCS 2006»

Salsa: a structured approach to large-scale anonymity

13 years 8 months ago

Salsa: a structured approach to large-scale anonymity

Download ranger.uta.edu

Arjun Nambiar, Matthew Wright

claim paper

Read More »

12

CCS
2006
ACM

112views Security Privacy» more CCS 2006»

Computationally sound secrecy proofs by mechanized flow analysis

13 years 8 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 »

14

CCS
2006
ACM

233views Security Privacy» more CCS 2006»

Inferring the source of encrypted HTTP connections

13 years 8 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 »