524 search results - page 56 / 105 » On the Security of the DeKaRT Primitive |
WISEC
2009
ACM
14 years 2 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...
EUROCRYPT
2010
Springer
14 years 16 days ago
2010
Springer
We initiate a provable-security treatment of cryptographic agility. A primitive (for example PRFs, authenticated encryption schemes or digital signatures) is agile when multiple, ...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
ACSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...