123 search results - page 5 / 25 » Secure implementations of typed channel abstractions |
AFRICACRYPT
2010
Springer
14 years 2 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
TGC
2007
Springer
14 years 1 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
CRYPTO
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. A cryptographic primitive is leakage-resilient, if it remains secure even if an adversary can learn a bounded amount of arbitrary information about the computation with e...