1777 search results - page 182 / 356 » Programming Cryptographic Protocols |
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
Security API analysis typically only considers a subset of an API’s functions, with results bounded by the number of function calls. Furthermore, attacks involving partial leakag...
ASIACRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. GPUs offer a tremendous amount of computational bandwidth that was until now largely unusable for cryptographic computations due to a lack of integer arithmetic and user...
105
click to vote
ICALP
2007
Springer
15 years 7 months ago
2007
Springer
We consider the problem of constructing efficient locally decodable codes in the presence of a computationally bounded adversary. Assuming the existence of one-way functions, we c...
TRUSTBUS
2007
Springer
15 years 7 months ago
2007
Springer
The forthcoming ISO/IEC 24727 series of standards defines application programming interfaces for smart cards and is expected to provide a major contribution to the global interope...
APLAS
2006
ACM
15 years 7 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...