Hubert Comon, Charlie Jacomme, Guillaume Scerri. Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets. In Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna, editors, CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020. pages 1427-1444, ACM, 2020. [doi]
@inproceedings{ComonJS20,
title = {Oracle Simulation: A Technique for Protocol Composition with Long Term Shared Secrets},
author = {Hubert Comon and Charlie Jacomme and Guillaume Scerri},
year = {2020},
doi = {10.1145/3372297.3417229},
url = {https://doi.org/10.1145/3372297.3417229},
researchr = {https://researchr.org/publication/ComonJS20},
cites = {0},
citedby = {0},
pages = {1427-1444},
booktitle = {CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020},
editor = {Jay Ligatti and Xinming Ou and Jonathan Katz and Giovanni Vigna},
publisher = {ACM},
isbn = {978-1-4503-7089-9},
}