|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Lujo Bauer , Ralf KüstersPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2018 Volume: 10804 Weight: 0.557kg ISBN: 9783319897219ISBN 10: 3319897217 Pages: 347 Publication Date: 14 April 2018 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsInformation 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |