53 search results - page 5 / 11 » Minimal Complete Primitives for Secure Multi-party Computati... |
ICDCS
2008
IEEE
14 years 1 months ago
2008
IEEE
We introduce a Write-Once Read-Many (WORM) storage system providing strong assurances of data retention and compliant migration, by leveraging trusted secure hardware in close dat...
NDSS
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
ASIACRYPT
2009
Springer
14 years 1 months ago
2009
Springer
The design of cryptographic hash functions is a very complex and failure-prone process. For this reason, this paper puts forward a completely modular and fault-tolerant approach to...
POPL
2004
ACM
14 years 7 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
COLCOM
2007
IEEE
13 years 11 months ago
2007
IEEE
With the widespread adoption of XML as the message format to disseminate content over distributed systems including Web Services and Publish-Subscribe systems, different methods ha...