Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. In Yongdae Kim, Jong Kim 0001, Giovanni Vigna, Elaine Shi, editors, CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. pages 2541-2563, ACM, 2021. [doi]
@inproceedings{BarbosaBGKS21-0,
title = {Mechanized Proofs of Adversarial Complexity and Application to Universal Composability},
author = {Manuel Barbosa and Gilles Barthe and Benjamin Grégoire and Adrien Koutsos and Pierre-Yves Strub},
year = {2021},
doi = {10.1145/3460120.3484548},
url = {https://doi.org/10.1145/3460120.3484548},
researchr = {https://researchr.org/publication/BarbosaBGKS21-0},
cites = {0},
citedby = {0},
pages = {2541-2563},
booktitle = {CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021},
editor = {Yongdae Kim and Jong Kim 0001 and Giovanni Vigna and Elaine Shi},
publisher = {ACM},
isbn = {978-1-4503-8454-4},
}