IMDEA initiative
Abstract: Masking schemes are widely used in practice to defeat side-channel attacks, which exploit the power consumption of devic...
Abstract: In this talk, we give an overview of three recent studies on advanced web tracking mechanisms, namely browser fingerprin...
Abstract: In biometric authentication protocols, a user is authenticated or granted access to a service if her fresh biometric tra...
Abstract: The cardinality operator is indispensable when specifying and reasoning about parameterized concurrent/distributed syste...
Abstract: We present two semantic views of probabilistic programs and their relationship. An operational interpretation as well as...
Abstract: In this talk, we will describe progress on computing invariants involving expected values of program variables in probab...
Abstract: I’ll present the first stages of an investigation into how simple we can get away with making the foundations of m...
Abstract: Automated unit test generation tools can produce tests that are superior to manually written ones in terms of code cover...
Abstract: Achieving high structural coverage is an important aim in software testing. Several search-based techniques have proved ...
Abstract: In this, we tackle the problem of the existence of solutions for recursive systems of Horn clauses with second-order var...
Abstract: Online services often use replication for improving the performance of user-facing services. However, using replication ...
Abstract: Software is sometimes redundant, in the sense that some operations are designed to behave like others but their executio...
Abstract: We propose a framework to prove almost sure termination for probabilistic programs with real valued variables. It is bas...
Abstract: Modern test generation techniques allow to generate as many executions as needed; combined with dynamic analysis, they a...
Abstract: Set up by the European Union in 2007, the European Research Council (ERC) is implementing its second work program in H20...
Abstract: The progress in microelectronics has enabled the miniaturization of processing elements, radio transceivers, and sensing...
Abstract: With the rise of sensors such as the Microsoft Kinect, Leap Motion, and hand motion sensors in phones (i.e., Samsung Gal...
Abstract: Unification is a core component of every proof assistant or programming language featuring dependent types. In many case...
Abstract: M-Goup focus is in empirical software engineering in software and data intensive systems and services. It is a research ...
Abstract: A great deal of effort has been spent on both trying to specify software requirements and on ensuring that software actu...
Abstract: Automated test generation for object-oriented software typically consists of producing sequences of calls aiming at high...
