↓ 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 Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks
  3. Altmetric Badge
    Chapter 2 Practical Everlasting Privacy
  4. Altmetric Badge
    Chapter 3 A Differentially Private Mechanism of Optimal Utility for a Region of Priors
  5. Altmetric Badge
    Chapter 4 Proved Generation of Implementations from Computationally Secure Protocol Specifications
  6. Altmetric Badge
    Chapter 5 Sound Security Protocol Transformations
  7. Altmetric Badge
    Chapter 6 Logical Foundations of Secure Resource Management in Protocol Implementations
  8. Altmetric Badge
    Chapter 7 Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
  9. Altmetric Badge
    Chapter 8 Lazy Mobile Intruders
  10. Altmetric Badge
    Chapter 9 On Layout Randomization for Arrays and Functions
  11. Altmetric Badge
    Chapter 10 A Theory of Agreements and Protection
  12. Altmetric Badge
    Chapter 11 Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification
  13. Altmetric Badge
    Chapter 12 Proving More Observational Equivalences with ProVerif
  14. Altmetric Badge
    Chapter 13 Principles of Security and Trust
  15. Altmetric Badge
    Chapter 14 Sessions and Separability in Security Protocols
Attention for Chapter 4: Proved Generation of Implementations from Computationally Secure Protocol Specifications
Altmetric Badge

Citations

dimensions_citation
2 Dimensions
Summary Dimensions citations
So far, Dimensions has found 2 publications that cite this research output.

2

The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.