53 search results - page 5 / 11 » Minimal Complete Primitives for Secure Multi-party Computati... |
155
click to vote
ICDCS
2008
IEEE
16 years 4 days 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...
164
click to vote
NDSS
2000
IEEE
15 years 10 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...
152
click to vote
ASIACRYPT
2009
Springer
16 years 8 days 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...
273
click to vote
POPL
2004
ACM
16 years 6 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...
260
Voted
COLCOM
2007
IEEE
15 years 9 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...