1825 search results - page 25 / 365 » Cryptographic Securities Exchanges |
131
Voted
FPL
2003
Springer
15 years 7 months ago
2003
Springer
The use of FPGAs for cryptographic applications is highly attractive for a variety of reasons but at the same time there are many open issues related to the general security of FPG...
106
Voted
CRYPTO
2009
Springer
15 years 9 months ago
2009
Springer
The well-studied task of learning a linear function with errors is a seemingly hard problem and the basis for several cryptographic schemes. Here we demonstrate additional applicat...
154
click to vote
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
131
click to vote
MSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
229
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...