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

Formal to Practical Security

Overview of attention for book
Cover of 'Formal to Practical Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
  3. Altmetric Badge
    Chapter 2 Validating Integrity for the Ephemerizer’s Protocol with CL-Atse
  4. Altmetric Badge
    Chapter 3 Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
  5. Altmetric Badge
    Chapter 4 Fake Fingers in Fingerprint Recognition: Glycerin Supersedes Gelatin
  6. Altmetric Badge
    Chapter 5 Formal to Practical Security
  7. Altmetric Badge
    Chapter 6 Anonymous Consecutive Delegation of Signing Rights: Unifying Group and Proxy Signatures
  8. Altmetric Badge
    Chapter 7 Unconditionally Secure Blind Authentication Codes: The Model, Constructions, and Links to Commitment
  9. Altmetric Badge
    Chapter 8 New Anonymity Notions for Identity-Based Encryption
  10. Altmetric Badge
    Chapter 9 Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption
  11. Altmetric Badge
    Chapter 10 Writing an OS Kernel in a Strictly and Statically Typed Language
Attention for Chapter 10: Writing an OS Kernel in a Strictly and Statically Typed Language
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
7 Mendeley
Summary X

This page is provided by Altmetric.