241 search results - page 47 / 49 » Machine-Checked Security Proofs of Cryptographic Signature S... |
INDOCRYPT
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. One approach to secure mobile agent execution is restricting the agent route to trusted environments. A necessary condition for this approach to be practical is that the ...
PET
2009
Springer
14 years 26 days ago
2009
Springer
: © Privacy-Preserving Computation and Verification of Aggregate Queries on Outsourced Databases Brian Thompson, Stuart Haber, William G. Horne, Tomas Sander, Danfeng Yao HP Labor...
CCS
2001
ACM
13 years 10 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
CRYPTO
2006
Springer
13 years 10 months ago
2006
Springer
In a seminal paper, Feldman and Micali (STOC '88) show an n-party Byzantine agreement protocol tolerating t < n/3 malicious parties that runs in expected constant rounds. H...
ASIACRYPT
2009
Springer
14 years 28 days ago
2009
Springer
Non-malleability is an interesting and useful property which ensures that a cryptographic protocol preserves the independence of the underlying values: given for example an encryp...