Mechanized Proofs of Adversarial Complexity and Application to Universal Composability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability. ACM Trans. Inf. Syst. Secur., 26(3), August 2023. [doi]

This author has not been identified. It may be one of the following persons:

Manuel Bernardo Barbosa

Look up 'Manuel Barbosa' in GoogleThis author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Benjamin Grégoire' in GoogleThis author has not been identified. Look up 'Adrien Koutsos' in GoogleThis author has not been identified. Look up 'Pierre-Yves Strub' in Google

runs on WebDSL