Gaining trust by tracing security protocols

DOI10.1016/J.JLAMP.2022.100829MaRDI QIDQ2095430zbMATH OpenOpenAlexFDO

Authors Clara Benac Earle, Thomas Arts, Hans Svensson, Lars-åke Fredlund

Publication date 16 November 2022

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2022.100829

zbMATH Keywords

Erlangnoise security protocolssecurity protocolstracing

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Verified interoperable implementations of security protocols
• Integrating Verification, Testing, and Learning for Cryptographic Protocols
• scientific article; zbMATH DE number 1754628
• Authentication tests and the structure of bundles.
• Trustworthy Global Computing

Cites work

• A lattice model of secure information flow
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• A structural approach to operational semantics
• Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 2080480 (Why is no real title available?)
• New directions in cryptography
• Proved trees
• Provenance as dependency analysis
• Synthesising correct concurrent runtime monitors
• The security impact of a new cryptographic library
• Verification, Model Checking, and Abstract Interpretation

Cited in

(1)

• Preface to selected papers from 20th workshop on programming and languages (PROLE 2021)

Describes a project that uses

Uses Software

• ProVerif
• Erlang
• ASPIER
• TAMARIN
• NaCl

This page was built for publication: Gaining trust by tracing security protocols

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