Invited talk at M3AAWG General Meeting
June 13, 2017
IMDEA researcher Juan Caballero will be giving a talk at the 40th M3AAWG General Meeting in Lisbon on June 13th....
[ Read More ]
Talk by Ilya Sergey: Programming and Proving with Distributed Protocols
June 13, 2017
Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to implement correctly. This difficulty arises from...
[ Read More ]
Programming and Proving with Distributed Protocols
June 13, 2017
Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to implement correctly. This difficulty arises from...
[ Read More ]
Invited talk at M3AAWG General Meeting
June 13, 2017
Juan Caballero will participate in a meeting with more of 200 security-oriented companies.
[ Read More ]
IMDEA Software researchers attending celebration of the 10 years of the ERC
June 12, 2017
This year the European Research Concil (ERC) celebrates its 10th anniversary. Fundación Madri+d para el conocimiento organizes is celebrating the...
[ Read More ]
Carmela Troncoso receives the Best Reviewer Award at IEEE Security and Privacy Symposium 2017
June 12, 2017
IMDEA Software Institute researcher Carmela Troncoso receives the Best Reviewer Award at the IEEE Security and Privacy Symposium 2017, the...
[ Read More ]
IMDEA Software researchers attending celebration of the 10 years of the ERC
June 12, 2017
Two researchers from IMDEA attend the ERC 10 years celebration.
[ Read More ]
Carmela Troncoso receives the Best Reviewer Award at IEEE Security and Privacy Symposium 2017
June 12, 2017
IMDEA Software Institute researcher Carmela Troncoso receives the Best Reviewer Award at the IEEE Security and Privacy Symposium 2017, the...
[ Read More ]
IMDEA Software co-organizes two summerschols
June 10, 2017
The IMDEA Software Institute is currently involved in the organization of two Summer Schools: Gilles Barthe co-organizes ProbProgSchool 2017, a...
[ Read More ]
IMDEA Software co-organizes two summerschols
June 10, 2017
The IMDEA Software Institute is currently involved in the organization of two Summer Schools: Gilles Barthe co-organizes ProbProgSchool 2017, a...
[ Read More ]
