9 search results - page 1 / 2 » Breaking the memory secrecy assumption |
EUROSEC
2009
ACM
13 years 11 months ago
2009
ACM
PODC
2004
ACM
13 years 10 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
13 years 11 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
13 years 8 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
13 years 10 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 ...