2303 search results - page 59 / 461 » The Cryptographic Abstract Machine |
106
click to vote
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
113
Voted
TCC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present the first positive obfuscation result for a traditional cryptographic functionality. This positive result stands in contrast to well-known negative impossibil...
124
Voted
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...
115
Voted
ACISP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We establish a framework for bounding the efficiency of cryptographic reductions in terms of their security transfer. While efficiency bounds for the reductions have been...
118
Voted
EUROCRYPT
2006
Springer
15 years 6 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 ...