Lecture Notes in Computer Science - Principles of Security and Trust
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642368295, 9783642368301
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Differentially Private Mechanism of Optimal Utility for a Region of Priors

2013 ◽  
pp. 41-62 ◽  
Author(s):  
Ehab ElSalamouny ◽  
Konstantinos Chatzikokolakis ◽  
Catuscia Palamidessi

scholarly journals Lazy Mobile Intruders

2013 ◽  
pp. 147-166 ◽  
Author(s):  
Sebastian Mödersheim ◽  
Flemming Nielson ◽  
Hanne Riis Nielson

scholarly journals Practical Everlasting Privacy

2013 ◽  
pp. 21-40 ◽  
Author(s):  
Myrto Arapinis ◽  
Véronique Cortier ◽  
Steve Kremer ◽  
Mark Ryan
Keyword(s):  
Everlasting Privacy

scholarly journals Formal Verification of e-Auction Protocols

2013 ◽  
pp. 247-266 ◽  
Author(s):  
Jannik Dreier ◽  
Pascal Lafourcade ◽  
Yassine Lakhnech
Keyword(s):  
Formal Verification

scholarly journals Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

2013 ◽  
pp. 126-146 ◽  
Author(s):  
Chetan Bansal ◽  
Karthikeyan Bhargavan ◽  
Antoine Delignat-Lavaud ◽  
Sergio Maffeis
Keyword(s):  
Formal Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document