Innovating Works

MUEBLES J. MARIN

Activa
CIRCUS: An end to end verification architecture for building Certified Implementations of Robust Cryptogra... INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE tramitó un H2020: ERC-2015-CoG The security of modern web applications depends on a variety of critical components including cryptographic libraries, Transport Layer Secur...
2016-03-27 - 2021-03-31 | Financiado
CoPS: Coevolutionary Policy Search THE CHANCELLOR MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD tramitó un H2020: ERC-2014-STG I propose to develop a new class of decision-theoretic planning methods that overcome fundamental obstacles to the efficient optimization of...
2015-06-02 - 2021-09-30 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.