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...