56 search results - page 2 / 12 » Cryptographically verified implementations for TLS |
ICISC
2008
13 years 6 months ago
2008
Hardware implementations of cryptographic algorithms are still vulnerable to side-channel attacks. Side-channel attacks that are based on multiple measurements of the same operatio...
SIGCOMM
2010
ACM
13 years 5 months ago
2010
ACM
End-to-end communication encryption is considered necessary for protecting the privacy of user data in the Internet. Only a small fraction of all Internet traffic, however, is pro...
ESORICS
2008
Springer
13 years 7 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
RAID
1999
Springer
13 years 9 months ago
1999
Springer
Tamperproof audit logs are an essential tool for computer forensics. Building on the work in [SK98,SK99], we show how to build a tamperproof audit log where the amount of informati...
CSFW
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...