UID:
almahu_9947917152302882
Format:
XIV, 347 p. 85 illus.
,
online resource.
ISBN:
9783319897226
Series Statement:
Lecture Notes in Computer Science, 10804
Content:
This book is Open Access under a CC BY licence.
Note:
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.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783319897219
Language:
English
Subjects:
Computer Science
Keywords:
Konferenzschrift
DOI:
10.1007/978-3-319-89722-6
URL:
http://dx.doi.org/10.1007/978-3-319-89722-6
URL:
Volltext
(kostenfrei)
URL:
Volltext
(kostenfrei)
URL:
http://dx.doi.org/10.1007/978-3-319-89722-6
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(kostenfrei)