Abstract: Many important system properties, particularly in security and privacy, cannot be verified statically. Therefore, runtim...

Abstract: This talk is concerned with the combination of monitoring techniques and reactive synthesis based on temporal logic (LTL...

Abstract: A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal ...

Abstract: The Kleene theorem establishes a fundamental link between automata and expressions over the free monoid. Numerous genera...

Abstract: Petri nets are a popular and well-studied formal model for the representation and verification of parallel processes. Th...

Abstract: The past ten years have seen an increasing presence of deep learning algorithms to perform a diverse set of tasks thanks...

Abstract: Software developers make pervasive use of third-party software supply chains to reduce costs and accelerate release cycl...

Abstract: The hardware security crisis brought on by recent speculative execution attacks has shown that it is crucial to adopt a ...

Abstract: Cramer, Damgård, and Schoenmakers (CDS) built a proof system to demonstrate the possession of subsets of witnesses for a...

Abstract: Computing platforms increasingly incorporate heterogeneous hardware technologies, as a way to scale application performa...

Abstract: Analyzing large and heterogeneous data is a recurrent problem for analysts and researchers. For example, a dataset of ne...

Abstract: Nowadays, attackers have large amount of resources (e.g., computational and space capabilities) that are used for malici...

Abstract: The blockchain offered a distributed way to provide security guarantees for financial transactions that avoid the single...

Abstract: The pervasiveness of cell phones, mobile applications and social media generates vast amounts of digital traces that can...

Abstract: When collecting information, local differential privacy (LDP) relieves users’ privacy concerns, as it adds noise t...

Abstract: The slowdown in transistor scaling and the end of Moore’s law indicate a need to invest in new computing paradigms...

Abstract: The multi-scale programmability of modern computer systems, including network fabrics and systems-on-chip, presents unpr...

Abstract: Data is eating the world. Systems for storing and processing data, such as Database Management Systems (DBMSs), are thus...

Abstract: Online services play a major role in our everyday life for communication, entertainment, socializing, e-commerce, etc. T...

Abstract: I will talk about two fairly different but representative lines of my work. The first line of work is about reachability...

Abstract: Efficient and effective fuzzing requires the availability of the input specification for the program under test. However...