IMDEA Software Institute PhD student Carolina Dania graduates
June 30, 2017
Carolina Inés Dania defended his PhD thesis “Mapping OCL as a Query and Constraint Language” advised by IMDEA Software Institute...
[ Read More ]
IMDEA Software Institute PhD student Carolina Dania graduates
June 30, 2017
Carolina Dania defended his PhD thesis “Mapping OCL as a Query and Constraint Language” advised by IMDEA Software Institute former...
[ Read More ]
Dario Fiore speaking at MathCrypt 2017
June 29, 2017
IMDEA Software Institute researcher Dario Fiore gives an invited talk at the MathCrypt event part of the NIMS Hot Topics...
[ Read More ]
Dario Fiore speaking at MathCrypt 2017
June 29, 2017
IMDEA Software Institute researcher Dario Fiore gives an invited talk at the MathCrypt event part of the NIMS Hot Topics...
[ Read More ]
IMDEA Software faculty invited speaker at Data Protection event in Switzerland
June 27, 2017
IMDEA Software Institute researcher Carmela Troncoso has participated in the ISSS EU-Datenschutzgrundverordnung und nues CH-DSG organized by the Information Security...
[ Read More ]
Verified Translation Validation of Static Analyses
June 27, 2017
Motivated by applications to security and high efficiency, we propose an automated methodology for validating on low-level intermediate representations the...
[ Read More ]
IMDEA Software faculty invited speaker at Data Protection event in Switzerland
June 27, 2017
Carmela Troncoso speaks about data protection at a Swiss event for industry.
[ Read More ]
Talk by Christian Hammer: WebPol: Fine-grained Information Flow Policies for Web Browsers
June 26, 2017
In the standard browser programming model, third-party scripts included in an application execute with the same privilege as the hosting...
[ Read More ]
WebPol: Fine-grained Information Flow Policies for Web Browsers
June 26, 2017
In the standard browser programming model, third-party scripts included in an application execute with the same privilege as the hosting...
[ Read More ]
Talk by Grigory Fedyukovich: Synchronizing Constraint Horn Clauses
June 23, 2017
The goal of unbounded program verification is to discover an inductive invariant that over-approximates all reachable program states and is...
[ Read More ]
