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 /: 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. (2018)

• Record Type: Book
• Other Titles: POST 2018
• Further Information: Note: Lujo Bauer, Ralf Küsters (eds.).
• Editors: Bauer, Lujo; Küsters, Ralf
• Other Names: POST (Conference), 7th; ETAPS (Conference), 21st
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer Open
• Publication Date: 2018
• Extent: 1 online resource (xiv, 347 pages), illustrations
• Subjects: 005.8; Computer science; Computer security -- Congresses; Data encryption (Computer science) -- Congresses; Computer security; Data encryption (Computer science); Computers -- Computer Science; Computers -- Social Aspects -- Human-Computer Interaction; Computers -- Information Theory; Computers -- Hardware -- Handheld Devices; Computer science; Information technology: general issues; Algorithms & data structures; Systems analysis & design; Computer security; Information theory; Data structures (Computer science); Computer system performance; Computers -- Security -- General; Computer security; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319897226; 3319897225
• Related ISBNs: 9783319897219
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 17, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.