Abstract: Internet-wide scanning techniques and services, like Zmap, Shodan, NMap, Masscan, etc. are heavily used for malicious ac...

Abstract: Although randomized algorithms have widely been used in distributed computing as a means to tackle impossibility results...

Abstract: The current consensus within the security industry is that high-assurance systems cannot tolerate the presence of compro...

Abstract: In this talk we present a number of techniques that allow for formal reasoning with nested and mutually inductive struct...

Abstract: Side-channel attacks on mobile devices have gained increasing attention since their introduction in 2007. While traditio...

Abstract: Although reliable distributed and cloud storage systems have attracted significant attention over the past decade, until...

Abstract: Signal Flow Graphs (SFGs) were introduced in the 1940s by Shannon as a formal circuit model of a class of simple analog ...

Abstract: Cloud computing is perceived as the “holy grail” to cope with the handling of tremendous amounts of data col...

Abstract: Dr. William Suski from the US Navy’s Office of Naval Research Global (ONRG) will be presenting a description of hi...

Abstract: The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. ...

Abstract: In the standard browser programming model, third-party scripts included in an application execute with the same privileg...

Abstract: The goal of unbounded program verification is to discover an inductive invariant that over-approximates all reachable pr...

Abstract: The Watson Libraries for Analysis (WALA) started life as analysis for Java bytecode, but soon grew to include JavaScript...

Abstract: Blockchain technology has become of great interest for major multinationals, creating a need to close the gap between th...

Abstract: Distributed systems play a crucial role in modern infrastructure, but are notoriously difficult to implement correctly. ...

Abstract: We present a modular framework for the design of efficient adaptively secure attribute-based encryption (ABE) schemes fo...

Abstract: In this talk I will present my research in developing local reasoning techniques in both concurrent and sequential setti...

Abstract: Website fingerprinting attacks aim to uncover which webpage a user is visiting by monitoring the incoming and outgoing p...

Abstract: The maturation of the Web platform has given rise to sophisticated and demanding Web applications such as interactive 3D...

Abstract: So far, formally specifying privacy goals is not trivial. The most widely used approach in formal methods is based on th...

Abstract: Research activities in design, often end up in complex software development tasks. Security related with User eXperience...

Abstract: In his talk, Daniel will go over the motivations that lead to this research, the protocol he has been following to measu...

Abstract: In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen s...

Abstract: Starting from a research paper of 2001, we show how OpenPGP encryption of emails is fundamentally broken. We show how an...

Abstract: We consider the following basic task in the testing of concurrent systems. The input to the task is a partial order of e...

Abstract: Probabilistic programming refers to the idea of using standard programming constructs for specifying probabilistic model...

Abstract: CPU caches introduce variations into the execution time of programs that can be exploited by adversaries to recover priv...

Abstract: Searching for the most similar images to a query image in a large database is a high-dimensional nearest-neighbour probl...