Practical Formal Methods for Real World Cryptography (Invited Talk)

DOI10.4230/LIPICS.FSTTCS.2019.1MaRDI QIDQ5875633zbMATH OpenOpenAlexFDO

Authors Karthikeyan Bhargavan, Prasad Naldurg

Publication date 3 February 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.FSTTCS.2019.1

zbMATH Keywords

applied cryptographyformal verificationmachine learningsecurity protocols

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• scientific article; zbMATH DE number 1024091
• A Survey of Practical Formal Methods for Security
• scientific article; zbMATH DE number 7650814
• scientific article; zbMATH DE number 1759457
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• scientific article; zbMATH DE number 4191559
• scientific article; zbMATH DE number 7378548

Cited in

(8)

• A domain-specific language for cryptographic protocols based on streams
• Finding a middle ground for computer-aided cryptography
• Formal verification of side-channel countermeasures using self-composition
• The security impact of a new cryptographic library
• An intrinsic encoding of a subset of C and its application to TLS network packet processing
• Verifying classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation
• Exploring formal methods for cryptographic hash function implementations
• Verified cryptographic code for everybody

Describes a project that uses

Uses Software

• HACL*
• Jasmin
• TensorFlow

This page was built for publication: Practical Formal Methods for Real World Cryptography (Invited Talk)

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