TY  - BOOK
AU  - Bauer,Lujo
AU  - Küsters,Ralf
ED  - SpringerLink (Online service)
TI  - Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings 
T2  - Security and Cryptology
SN  - 9783319897226
AV  - QA76.9.A25 
U1  - 005.8 23
PY  - 2018///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer security
KW  - Computers
KW  - Data structures (Computer science)
KW  - Computer system failures
KW  - Systems and Data Security
KW  - Theory of Computation
KW  - Computing Milieux
KW  - Data Structures and Information Theory
KW  - System Performance and Evaluation
N1  - Information Flow and Non-Intereference -- What's the Over/Under? Probabilistic Bounds on Information Leakage -- Secure Information Release in Timed Automata -- Compositional Non-Interference for Concurrent Programs via Separation and Framing -- The Meaning of Memory Safety -- Leakage, Information Flow, and Protocols -- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage -- Leakage and Protocol Composition in a Game-theoretic Perspective -- Equivalence Properties by Typing in Cryptographic Branching Protocols -- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience -- Smart Contracts and Privacy -- SoK: Unraveling Bitcoin Smart Contracts -- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts -- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts -- UniTraX: Protecting Data Privacy with Discoverable Biases -- Firewalls and Attack-Defense Trees -- Transcompiling Firewalls -- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels; Open Access
N2  - This book is Open Access under a CC BY licence
UR  - https://doi.org/10.1007/978-3-319-89722-6
ER  -