Cryptographic analysis in cubic time

DOI10.1016/S1571-0661(04)00316-0MaRDI QIDQ2841271zbMATH OpenOpenAlexWikidataFDO

Authors Flemming Nielson, Hanne Riis Nielson, Helmut Seidl

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00316-0

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• A calculus for cryptographic protocols: The spi calculus
• scientific article; zbMATH DE number 1692944
• scientific article; zbMATH DE number 2163029
• Mathematical Foundations of Computer Science 2003
• CONCUR 2004 - Concurrency Theory

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. II
• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1304991 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1487853 (Why is no real title available?)
• scientific article; zbMATH DE number 1834562 (Why is no real title available?)
• Introduction to set constraint-based program analysis
• Secrecy by typing in security protocols
• Static analysis for the \(\pi\)-calculus with applications to security

Cited in

(6)

• A monotone framework for CCS
• scientific article; zbMATH DE number 1692944 (Why is no real title available?)
• Techniques for security checking: non-interference vs control flow analysis
• Type Inference for Correspondence Types
• AN EFFICIENT METHOD FOR IMPROVING THE COMPUTATIONAL PERFORMANCE OF THE CUBIC LUCAS CRYPTOSYSTEM
• Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs

This page was built for publication: Cryptographic analysis in cubic time

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