Principles of Security and Trust
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 What’s the Over/Under? Probabilistic Bounds on Information Leakage
-
Altmetric BadgeChapter 2 Secure Information Release in Timed Automata
-
Altmetric BadgeChapter 3 Compositional Non-interference for Concurrent Programs via Separation and Framing
-
Altmetric BadgeChapter 4 The Meaning of Memory Safety
-
Altmetric BadgeChapter 5 Formal Verification of Integrity-Preserving Countermeasures Against Cache Storage Side-Channels
-
Altmetric BadgeChapter 6 Leakage and Protocol Composition in a Game-Theoretic Perspective
-
Altmetric BadgeChapter 7 Equivalence Properties by Typing in Cryptographic Branching Protocols
-
Altmetric BadgeChapter 8 Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience
-
Altmetric BadgeChapter 9 SoK: Unraveling Bitcoin Smart Contracts
-
Altmetric BadgeChapter 10 A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
-
Altmetric BadgeChapter 11 Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
-
Altmetric BadgeChapter 12 UniTraX: Protecting Data Privacy with Discoverable Biases
-
Altmetric BadgeChapter 13 Transcompiling Firewalls
-
Altmetric BadgeChapter 14 On Quantitative Analysis of Attack–Defense Trees with Repeated Labels
Altmetric Badge
About this Attention Score
-
Above-average Attention Score compared to outputs of the same age (53rd percentile)
-
Good Attention Score compared to outputs of the same age and source (66th percentile)
Citations
- dimensions_citation
- 9 Dimensions
Readers on
- mendeley
- 84 Mendeley