9 search results - page 1 / 2 » Breaking the memory secrecy assumption |
EUROSEC
2009
ACM
14 years 5 months ago
2009
ACM
PODC
2004
ACM
14 years 4 months ago
2004
ACM
Group key exchange protocols allow a group of servers communicating over an asynchronous network of point-to-point links to establish a common key, such that an adversary which fu...
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
EUROCRYPT
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Motivated by the problem of protecting cryptographic hardware, we continue the investigation of private circuits initiated in [16]. In this work, our aim is to construct ...
PDC
2004
ACM
14 years 4 months ago
2004
ACM
We present experiences and insights into participatory design with individuals who have anterograde amnesia and therefore have extreme difficulty storing new memories. We discuss ...