IMDEA Software to develop online banking anti-fraud system under EIT Digital
February 28, 2017
IMDEA Software researcher Juan Caballero will be part of an effort to develop an online banking anti-fraud system. This work...
[ Read More ]
Concurrent Data Structures Linked in Time
February 28, 2017
Arguments about correctness of a concurrent data structure are typically carried out by using the notion of linearizability and specifying...
[ Read More ]
IMDEA Software to develop online banking anti-fraud system under EIT Digital
February 28, 2017
IMDEA Software researcher Juan Caballero will be part of an effort to develop an online banking anti-fraud system. This work...
[ Read More ]
Talk by Rupak Majumdar: Hitting families of schedules
February 24, 2017
We consider the following basic task in the testing of concurrent systems. The input to the task is a partial...
[ Read More ]
Coowry, a startup hosted at IMDEA featured in newspaper
February 24, 2017
Coowry a startup enabling easy micro payments whose offices are located in the IMDEA Software building was featured in the...
[ Read More ]
Coowry, a startup hosted at IMDEA featured in newspaper
February 24, 2017
Coowry a startup enabling easy micro payments whose offices are located in the IMDEA Software building was featured in the...
[ Read More ]
Hitting families of schedules
February 24, 2017
We consider the following basic task in the testing of concurrent systems. The input to the task is a partial...
[ Read More ]
Compositional Synthesis of Leakage Resilient Programs
February 21, 2017
A promising approach to defend against side channel attacks is to build programs that are leakage resilient, in a formal...
[ Read More ]
Active Techniques for Revealing and Analyzing the Security of Hidden Servers
February 14, 2017
In the last years we have witnessed a boom in the use of techniques and tools that provide anonymity. Such...
[ Read More ]
Talk by Hongseok Yang: Probabilistic Programming
February 13, 2017
Probabilistic programming refers to the idea of using standard programming constructs for specifying probabilistic models and employing generic inference algorithms...
[ Read More ]
