A Relational Logic for Higher-Order Programs
March 21, 2017
Relational program verification is a variant of program verification where one can reason about two programs and as a special...
[ Read More ]
New MINECO funded project: DataMantium
March 15, 2017
The IMDEA Software Institute participates in a new project funded by MINECO within the framework of RETOS-Colaboración 2016 call, coordinated...
[ Read More ]
New MINECO funded project: AxE-Javascript
March 15, 2017
The IMDEA Software Institute participates in a new project funded by MINECO within the framework of RETOS-Colaboración 2016 call, coordinated...
[ Read More ]
Talk by Alberto Lopez: Software research activities in Design at ESNE
March 15, 2017
Research activities in design, often end up in complex software development tasks. Security related with User eXperience in bank applications,...
[ Read More ]
Software research activities in Design at ESNE
March 15, 2017
Research activities in design, often end up in complex software development tasks. Security related with User eXperience in bank applications,...
[ Read More ]
New MINECO funded project: DataMantium
March 15, 2017
IMDEA participates in an MINECO funded project to protect data in the cloud.
[ Read More ]
New MINECO funded project: AxE-Javascript
March 15, 2017
IMDEA participates in an MINECO funded project to apply verification techniques in eVoting systems.
[ Read More ]
Reasoning about aggregation of information
March 14, 2017
Along with the conventional mathematic-driven approach of software security, 20 years of attacks harnessing the timing behaviour of programs to...
[ Read More ]
Talk by Daniel Riofrio: The Presidential Elections in Ecuador during the digital era
March 10, 2017
In his talk, Daniel will go over the motivations that lead to this research, the protocol he has been following...
[ Read More ]
The Presidential Elections in Ecuador during the digital era
March 10, 2017
In his talk, Daniel will go over the motivations that lead to this research, the protocol he has been following...
[ Read More ]
