Talk by Vasilios Mavroudis: Cryptographic Hardware from Untrusted Components
September 28, 2017
The current consensus within the security industry is that high-assurance systems cannot tolerate the presence of compromised hardware components. In...
[ Read More ]
Cryptographic Hardware from Untrusted Components
September 28, 2017
The current consensus within the security industry is that high-assurance systems cannot tolerate the presence of compromised hardware components. In...
[ Read More ]
Talk by Danil Annenkov: Reasoning Techniques for the Module System Formalisation in Coq.
September 26, 2017
In this talk we present a number of techniques that allow for formal reasoning with nested and mutually inductive structures...
[ Read More ]
Reasoning Techniques for the Module System Formalisation in Coq
September 26, 2017
In this talk we present a number of techniques that allow for formal reasoning with nested and mutually inductive structures...
[ Read More ]
Los Institutos IMDEA han estado en Primera Hora con Javier García Mateo en Gestiona Radio
September 22, 2017
Javier García Mateo, el presentador de Primera Hora (Gestiona Radio) ha invitado a algunos investigadores de los institutos IMDEA a...
[ Read More ]
Modelling superalloy behaviour to improve aircraft engine design
September 21, 2017
[…]
[ Read More ]
Best Paper award at Journal of Software and Systems Modeling
September 21, 2017
Researcher Carolina Inés Dania and Marina Egea (Minsait (by Indra)) win 2017 Best Paper Award for the article «SQL-PL4OCL: An...
[ Read More ]
The European Researchers’ Night on Spanish National TV
September 21, 2017
The European Researchers’ Night and the related activities to be developed in Madrid were the main topics of the interview...
[ Read More ]
The European Researchers’ Night on Spanish National TV
September 21, 2017
The director of the IMDEA Software Institute, Manuel Carro, was interviewed on the TV program “La Tarde en 24 Horas”...
[ Read More ]
Best Paper award at Journal of Software and Systems Modeling
September 21, 2017
Researcher Carolina Dania} receives best paper award at MoDELS 2017.
[ Read More ]
