Principles of Security and Trust
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 A Reduced Semantics for Deciding Trace Equivalence Using Constraint Systems
-
Altmetric BadgeChapter 2 Stateful Applied Pi Calculus
-
Altmetric BadgeChapter 3 Computational Soundness Results for ProVerif
-
Altmetric BadgeChapter 4 A Secure Key Management Interface with Asymmetric Cryptography
-
Altmetric BadgeChapter 5 Abstract Channels and Their Robust Information-Leakage Ordering
-
Altmetric BadgeChapter 6 Quantitative Information Flow in Boolean Programs
-
Altmetric BadgeChapter 7 When Not All Bits Are Equal: Worth-Based Information Flow
-
Altmetric BadgeChapter 8 Leakage Resilience against Concurrent Cache Attacks
-
Altmetric BadgeChapter 9 Information Flow Control in WebKit’s JavaScript Bytecode
-
Altmetric BadgeChapter 10 A Separation Logic for Enforcing Declarative Information Flow Control Policies
-
Altmetric BadgeChapter 11 Defining and Enforcing Referential Security
-
Altmetric BadgeChapter 12 Extending and Applying a Framework for the Cryptographic Verification of Java Programs
-
Altmetric BadgeChapter 13 Compiling CAO: From Cryptographic Specifications to C Implementations
-
Altmetric BadgeChapter 14 Decentralized Composite Access Control
-
Altmetric BadgeChapter 15 Temporal Logics for Hyperproperties
-
Altmetric BadgeChapter 16 Time-Dependent Analysis of Attacks
Attention for Chapter 10:
A Separation Logic for Enforcing Declarative Information Flow Control Policies