Knowledge transfer and information leakage in protocols

DOI10.1007/978-3-319-68167-2_16MaRDI QIDQ5096086zbMATH OpenOpenAlexFDO

Authors Abdullah Abdul Khadir, Madhavan Mukund, S. P. Suresh

Publication date 12 August 2022

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-68167-2_16

Mathematics Subject Classification ID

Computer security (68M25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cryptography (94A60)

Recommendations

• Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols
• Experiments in information flow analysis
• scientific article; zbMATH DE number 1024014
• Reasoning with protocols under imperfect information
• Secure protocols of how communication generates correlation

Cited in

(2)

• Privacy protocols
• scientific article; zbMATH DE number 2112427 (Why is no real title available?)

This page was built for publication: Knowledge transfer and information leakage in protocols

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