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. 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]

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