248 search results - page 9 / 50 » Authentication Primitives and Their Compilation |
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Self-adjusting programs respond automatically and efficiently to input changes by tracking the dynamic data dependences of the computation and incrementally updating the output as...
101
click to vote
CJ
2006
14 years 10 months ago
2006
Anonymous channels or similar techniques that can achieve sender's anonymity play important roles in many applications. However, they will be meaningless if cryptographic prim...
FC
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. We present a series of protocols for authenticating an individual’s membership in a group without revealing that individual’s identity and without restricting how the...
WISEC
2009
ACM
15 years 4 months ago
2009
ACM
While properties of wireless communications are often considered as a disadvantage from a security perspective, this work demonstrates how multipath propagation, a broadcast mediu...
ENTCS
2007
14 years 9 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....