Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Antoine Van Muylder"'
Autor:
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cătălin Hrițcu, Kenji Maillard, Bas Spitters
Publikováno v:
ACM Transactions on Programming Languages and Systems.
State-separating proofs (SSP) is a recent methodology for structuring game-based cryptographic proofs in a modular way, by using algebraic laws to exploit the modular structure of composed protocols. While promising, this methodology was previously n
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527ef3480187e0fa65e80de3b22ec333
https://doi.org/10.1145/3594735
https://doi.org/10.1145/3594735
