Paper 2023/1329
Layered Symbolic Security Analysis in DY
Abstract
While cryptographic protocols are often analyzed in isolation, they are typically deployed within a stack of protocols, where each layer relies on the security guarantees provided by the protocol layer below it, and in turn provides its own security functionality to the layer above. Formally analyzing the whole stack in one go is infeasible even for semi-automated verification tools, and impossible for pen-and-paper proofs. The DY
Metadata
- Available format(s)
-
PDF
- Category
- Foundations
- Publication info
- Published elsewhere. Minor revision. ESORICS 2023
- Keywords
- formal security analysisDY*protocol analysis
- Contact author(s)
-
karthikeyan bhargavan @ inria fr
abhishek b @ iitgn ac in
pedran hosseyni @ sec uni-stuttgart de
ralf kuesters @ sec uni-stuttgart de
klaas pruiksma @ sec uni-stuttgart de
guido schmitz @ rhul ac uk
clara waldmann @ sec uni-stuttgart de
tim wuertele @ sec uni-stuttgart de - History
- 2023-09-08: approved
- 2023-09-06: received
- See all versions
- Short URL
- https://ia.cr/2023/1329
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/1329, author = {Karthikeyan Bhargavan and Abhishek Bichhawat and Pedram Hosseyni and Ralf Kuesters and Klaas Pruiksma and Guido Schmitz and Clara Waldmann and Tim Würtele}, title = {Layered Symbolic Security Analysis in {DY}$^\star$}, howpublished = {Cryptology {ePrint} Archive, Paper 2023/1329}, year = {2023}, url = {https://eprint.iacr.org/2023/1329} }