Login / Signup
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.
Manuel Barbosa
Gilles Barthe
Benjamin Grégoire
Adrien Koutsos
Pierre-Yves Strub
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
decision support
genetic algorithm
application specific
real time
databases
artificial intelligence
search engine
feature selection
website
multi agent
search algorithm
computational complexity
logic programs
theorem proving