ESORICS 2005 | Sciweavers

35

ESORICS
2005
Springer

134views Security Privacy» more ESORICS 2005»

Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study

14 years 5 months ago

Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...

Aslan Askarov, Andrei Sabelfeld

claim paper

Read More »

31

click to vote

ESORICS
2005
Springer

83views Security Privacy» more ESORICS 2005»

Sybil-Resistant DHT Routing

14 years 5 months ago

Download www.cl.cam.ac.uk

Distributed Hash Tables (DHTs) are very eﬃcient distributed systems for routing, but at the same time vulnerable to disruptive nodes. Designers of such systems want them used in ...

George Danezis, Chris Lesniewski-Laas, M. Frans Ka...

claim paper

Read More »

33

click to vote

ESORICS
2005
Springer

87views Security Privacy» more ESORICS 2005»

On Scalability and Modularisation in the Modelling of Network Security Systems

14 years 5 months ago

Download www.las.ic.unicamp.br

Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...

João Porto de Albuquerque, Heiko Krumm, Pau...

claim paper

Read More »

30

click to vote

ESORICS
2005
Springer

96views Security Privacy» more ESORICS 2005»

Soundness of Formal Encryption in the Presence of Key-Cycles

14 years 5 months ago

Download www.cis.upenn.edu

Pedro Adão, Gergei Bana, Jonathan Herzog, A...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers