Financial Cryptography and Data Security - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642145766, 9783642145773
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Implementing a High-Assurance Smart-Card OS

2010 ◽  
pp. 51-65 ◽  
Author(s):  
Paul A. Karger ◽  
David C. Toll ◽  
Elaine R. Palmer ◽  
Suzanne K. McIntosh ◽  
Samuel Weber ◽  
...  
Keyword(s):  
Smart Card ◽  
High Assurance

Three-Round Abuse-Free Optimistic Contract Signing with Everlasting Secrecy

2010 ◽  
pp. 304-311 ◽  
Author(s):  
Xiaofeng Chen ◽  
Fangguo Zhang ◽  
Haibo Tian ◽  
Qianhong Wu ◽  
Yi Mu ◽  
...  
Keyword(s):  
Contract Signing

Cryptographic Protocol Analysis of AN.ON

2010 ◽  
pp. 114-128 ◽  
Author(s):  
Benedikt Westermann ◽  
Rolf Wendolsky ◽  
Lexi Pimenidis ◽  
Dogan Kesdogan
Keyword(s):  
Protocol Analysis ◽  
Cryptographic Protocol ◽  
Cryptographic Protocol Analysis

scholarly journals A Learning-Based Approach to Reactive Security

2010 ◽  
pp. 192-206 ◽  
Author(s):  
Adam Barth ◽  
Benjamin I. P. Rubinstein ◽  
Mukund Sundararajan ◽  
John C. Mitchell ◽  
Dawn Song ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document