@inproceedings{DBLP:conf/ccs/BarbosaBGKS21,
  author = {Manuel Barbosa and Gilles Barthe and
Benjamin Gr{\'{e}}goire and Adrien Koutsos and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/ccs/BarbosaBGKS21.bib},
  booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer
and Communications Security, Virtual Event, Republic
of Korea, November 15 - 19, 2021},
  doi = {10.1145/3460120.3484548},
  editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and
Elaine Shi},
  isbn = {978-1-4503-8454-4},
  pages = {2541--2563},
  publisher = {{ACM}},
  timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
  title = {Mechanized Proofs of Adversarial Complexity and
Application to Universal Composability},
  url = {https://doi.org/10.1145/3460120.3484548},
  year = {2021}
}

{"_id":"txdAmtDy5CZq36Fwf","bibbaseid":"barbosa-barthe-grgoire-koutsos-strub-mechanizedproofsofadversarialcomplexityandapplicationtouniversalcomposability-2021","author_short":["Barbosa, M.","Barthe, G.","Grégoire, B.","Koutsos, A.","Strub, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Manuel"],"propositions":[],"lastnames":["Barbosa"],"suffixes":[]},{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Adrien"],"propositions":[],"lastnames":["Koutsos"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/ccs/BarbosaBGKS21.bib","booktitle":"CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021","doi":"10.1145/3460120.3484548","editor":[{"firstnames":["Yongdae"],"propositions":[],"lastnames":["Kim"],"suffixes":[]},{"firstnames":["Jong"],"propositions":[],"lastnames":["Kim"],"suffixes":[]},{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Vigna"],"suffixes":[]},{"firstnames":["Elaine"],"propositions":[],"lastnames":["Shi"],"suffixes":[]}],"isbn":"978-1-4503-8454-4","pages":"2541–2563","publisher":"ACM","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","title":"Mechanized Proofs of Adversarial Complexity and Application to Universal Composability","url":"https://doi.org/10.1145/3460120.3484548","year":"2021","bibtex":"@inproceedings{DBLP:conf/ccs/BarbosaBGKS21,\n author = {Manuel Barbosa and Gilles Barthe and\nBenjamin Gr{\\'{e}}goire and Adrien Koutsos and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/ccs/BarbosaBGKS21.bib},\n booktitle = {{CCS} '21: 2021 {ACM} {SIGSAC} Conference on Computer\nand Communications Security, Virtual Event, Republic\nof Korea, November 15 - 19, 2021},\n doi = {10.1145/3460120.3484548},\n editor = {Yongdae Kim and Jong Kim and Giovanni Vigna and\nElaine Shi},\n isbn = {978-1-4503-8454-4},\n pages = {2541--2563},\n publisher = {{ACM}},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n title = {Mechanized Proofs of Adversarial Complexity and\nApplication to Universal Composability},\n url = {https://doi.org/10.1145/3460120.3484548},\n year = {2021}\n}\n\n","author_short":["Barbosa, M.","Barthe, G.","Grégoire, B.","Koutsos, A.","Strub, P."],"editor_short":["Kim, Y.","Kim, J.","Vigna, G.","Shi, E."],"key":"DBLP:conf/ccs/BarbosaBGKS21","id":"DBLP:conf/ccs/BarbosaBGKS21","bibbaseid":"barbosa-barthe-grgoire-koutsos-strub-mechanizedproofsofadversarialcomplexityandapplicationtouniversalcomposability-2021","role":"author","urls":{"Paper":"https://doi.org/10.1145/3460120.3484548"},"metadata":{"authorlinks":{}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","dataSources":["q4vBTsWpxooqz6FoB"],"keywords":[],"search_terms":["mechanized","proofs","adversarial","complexity","application","universal","composability","barbosa","barthe","grégoire","koutsos","strub"],"title":"Mechanized Proofs of Adversarial Complexity and Application to Universal Composability","year":2021,"downloads":1}