%0 Journal Article %1 journals/tissec/BarbosaBGKS23 %A Barbosa, Manuel %A Barthe, Gilles %A Grégoire, Benjamin %A Koutsos, Adrien %A Strub, Pierre-Yves %D 2023 %J ACM Trans. Priv. Secur. %K dblp %N 3 %P 41:1-41:34 %T Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. %U http://dblp.uni-trier.de/db/journals/tissec/tissec26.html#BarbosaBGKS23 %V 26

@article{journals/tissec/BarbosaBGKS23, added-at = {2023-11-09T00:00:00.000+0100}, author = {Barbosa, Manuel and Barthe, Gilles and Grégoire, Benjamin and Koutsos, Adrien and Strub, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2f58a646ce6f83d7e05e33d7bf6a73143/dblp}, ee = {https://doi.org/10.1145/3589962}, interhash = {64eaa925c76cd19fab278e74b0bfa884}, intrahash = {f58a646ce6f83d7e05e33d7bf6a73143}, journal = {ACM Trans. Priv. Secur.}, keywords = {dblp}, month = {August}, number = 3, pages = {41:1-41:34}, timestamp = {2024-04-08T11:28:37.000+0200}, title = {Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.}, url = {http://dblp.uni-trier.de/db/journals/tissec/tissec26.html#BarbosaBGKS23}, volume = 26, year = 2023 }