A tutorial-style introduction to DY^

DOI10.1007/978-3-030-91631-2_4MaRDI QIDQ2154012zbMATH OpenOpenAlexFDO

Authors Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

Publication date 13 July 2022

Full work available at URL https://doi.org/10.1007/978-3-030-91631-2_4

zbMATH Keywords

formal methodscryptographic protocolsprotocol analysismechanized proofs

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 627436
• An introduction to \(\mathcal{D}\)-modules
• Introduction to \(\tau\)-tilting theory
• Introduction to \(\ell^2\)-invariants
• scientific article; zbMATH DE number 18800
• scientific article; zbMATH DE number 2204720
• An introduction to \(L^2\) cohomology
• Star operations and the \(D + M\) construction
• scientific article; zbMATH DE number 1354854
• Star products on symplectic vector spaces: convergence, representations, and extensions

Cites work

• A formal security analysis of the Signal messaging protocol
• Advances in Cryptology - CRYPTO 2003
• An attack on the Needham-Schroeder public-key authentication protocol
• Authentication tests and the structure of bundles.
• Computer Aided Verification
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
• Modular verification of security protocol code by typing
• On the security of public key protocols
• Secure distributed programming with value-dependent types
• Security protocol verification: symbolic and computational models
• Using encryption for authentication in large networks of computers

This page was built for publication: A tutorial-style introduction to \(\mathsf{DY}^{\star}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2154012)