↓ Skip to main content
What is this page? Embed badge

Principles of Security and Trust

Overview of attention for book
Cover of 'Principles of Security and Trust'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Timing-Sensitive Noninterference through Composition
  3. Altmetric Badge
    Chapter 2 Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
  4. Altmetric Badge
    Chapter 3 A Principled Approach to Tracking Information Flow in the Presence of Libraries
  5. Altmetric Badge
    Chapter 4 Secure Multi-party Computation: Information Flow of Outputs and Game Theory
  6. Altmetric Badge
    Chapter 5 Automated Verification of Dynamic Root of Trust Protocols
  7. Altmetric Badge
    Chapter 6 Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols
  8. Altmetric Badge
    Chapter 7 On Communication Models When Verifying Equivalence Properties
  9. Altmetric Badge
    Chapter 8 A Survey of Attacks on Ethereum Smart Contracts (SoK)
  10. Altmetric Badge
    Chapter 9 Security Analysis of Cache Replacement Policies
  11. Altmetric Badge
    Chapter 10 Model Checking Exact Cost for Attack Scenarios
  12. Altmetric Badge
    Chapter 11 Postulates for Revocation Schemes
  13. Altmetric Badge
    Chapter 12 Defense in Depth Formulation and Usage in Dynamic Access Control
  14. Altmetric Badge
    Chapter 13 Compositional Synthesis of Leakage Resilient Programs
  15. Altmetric Badge
    Chapter 14 Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows
Attention for Chapter 5: Automated Verification of Dynamic Root of Trust Protocols
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
8 Dimensions

Readers on

mendeley
6 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.