659 search results - page 46 / 132 » Compiling and securing cryptographic protocols |
130
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
106
click to vote
SEC
2004
15 years 1 months ago
2004
: Smart card secure channel protocols based on public key cryptography are not widely utilised mainly due to processing overheads introduced in the underlying smart card microproce...
120
Voted
GRC
2008
IEEE
15 years 1 months ago
2008
IEEE
—Secure multiparty computation is a very important research topic in cryptography. A secure multi-party computation involves N untrusful parties. It takes input xi from the ith p...
113
click to vote
JNW
2006
15 years 12 days ago
2006
In this research article we discuss the protocols, architecture and propose the design of Network Domain Security (NDS) model for IP Multimedia Subsystem (IMS). The IMS is standard...
ICITS
2009
14 years 10 months ago
2009
In this article, we discuss a naive method of randomness reduction for cryptographic schemes, which replaces the required perfect randomness with output distribution of a computat...