Adrien Koutsos
Adrien Koutsos
Home
Publications
Some Talks
Teaching
Contact
CV
Light
Dark
Automatic
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
David Baelde
,
Adrien Koutsos
,
Joseph Lallemand
April 2023
PDF
Type
Conference paper
Publication
ACM/IEEE Symposium on Logic in Computer Science, LICS'23 – to appear
Cite
×