A tutorial-style introduction to DY^
From MaRDI portal
Publication:2154012
DOI10.1007/978-3-030-91631-2_4zbMATH Open1498.94055OpenAlexW3217286445MaRDI QIDQ2154012FDOQ2154012
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
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
- Computer Aided Verification
- Secure distributed programming with value-dependent types
- Using encryption for authentication in large networks of computers
- On the security of public key protocols
- Authentication tests and the structure of bundles.
- An attack on the Needham-Schroeder public-key authentication protocol
- Security Protocol Verification: Symbolic and Computational Models
- Modular verification of security protocol code by typing
- Advances in Cryptology - CRYPTO 2003
- A formal security analysis of the Signal messaging protocol
- Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
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)
