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

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783319897219, 9783319897226
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Transcompiling Firewalls

2018 ◽  
pp. 303-324 ◽  
Author(s):  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Riccardo Focardi ◽  
Letterio Galletta ◽  
Mauro Tempesta

scholarly journals UniTraX: Protecting Data Privacy with Discoverable Biases

2018 ◽  
pp. 278-299 ◽  
Author(s):  
Reinhard Munz ◽  
Fabienne Eigner ◽  
Matteo Maffei ◽  
Paul Francis ◽  
Deepak Garg
Keyword(s):  
Data Privacy

scholarly journals Compositional Non-interference for Concurrent Programs via Separation and Framing

2018 ◽  
pp. 53-78 ◽  
Author(s):  
Aleksandr Karbyshev ◽  
Kasper Svendsen ◽  
Aslan Askarov ◽  
Lars Birkedal
Keyword(s):  
Concurrent Programs

scholarly journals SoK: Unraveling Bitcoin Smart Contracts

2018 ◽  
pp. 217-242 ◽  
Author(s):  
Nicola Atzei ◽  
Massimo Bartoletti ◽  
Tiziana Cimoli ◽  
Stefano Lande ◽  
Roberto Zunino
Keyword(s):  
Smart Contracts

scholarly journals Secure Information Release in Timed Automata

2018 ◽  
pp. 28-52 ◽  
Author(s):  
Panagiotis Vasilikos ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Timed Automata ◽  
Information Release ◽  
Secure Information

scholarly journals What’s the Over/Under? Probabilistic Bounds on Information Leakage

2018 ◽  
pp. 3-27 ◽  
Author(s):  
Ian Sweet ◽  
José Manuel Calderón Trilla ◽  
Chad Scherrer ◽  
Michael Hicks ◽  
Stephen Magill
Keyword(s):  
Information Leakage
Load More ...
Sign in / Sign up

Export Citation Format

Share Document