341 search results - page 51 / 69 » Deniable Functional Encryption |
114
click to vote
CSFW
2012
IEEE
13 years 1 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
IEEEARES
2009
IEEE
15 years 5 months ago
2009
IEEE
—Signcryption is a cryptographic primitive that fulfills both the functions of digital signature and public key encryption simultaneously, at a cost significantly lower than th...
DEXAW
2009
IEEE
15 years 5 months ago
2009
IEEE
Secure Multiparty Computation (SMC) has gained tremendous importance with the growth of the Internet and E-commerce, where mutually untrusted parties need to jointly compute a fun...
CSFW
2007
IEEE
15 years 5 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
FROCOS
2007
Springer
15 years 4 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...