171
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...
160
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
203
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
This paper considers DoS attacks on DNS wherein attackers flood the nameservers of a zone to disrupt resolution of resource records belonging to the zone and consequently, any of ...
227
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We propose an approach for the selective enforcement of access control restrictions in, possibly distributed, large data collections based on two basic concepts: i) flexible autho...
208
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...