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