773 search results - page 52 / 155 » On Cryptographic Assumptions and Challenges |
129
click to vote
DRM
2007
Springer
16 years 10 days ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
148
click to vote
TACAS
2007
Springer
16 years 8 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
160
click to vote
TCC
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Algorithmic progress and future technology threaten today’s cryptographic protocols. Long-term secure protocols should not even in future reveal more information to a...
157
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
129
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We present a new primitive—Append-only Signatures (AOS)—with the property that any party given an AOS signature Sig[M1] on message M1 can compute Sig[M1 M2] for any message M2...