Abstract: I will present a measure, called oscillation, for behaviors of pushdown automata which are finite state automata with au...

Abstract: In this talk, we will present an ongoing effort towards employing a concurrent Separation-style logic (FCSL) for reasoni...

Abstract: Model-driven methodologies can help developers create more reliable software. In previous work, we have advocated a mode...

Abstract: Anonymous communication systems ensure that correspondence between senders and receivers cannot be inferred with certain...

Abstract: Cache memories are an important tool for the good performance of computers since they solve the problem of retrieving da...

Abstract: Security in the Generic Group Model is a standard requirement for new hardness assumptions in (bilinear) groups. Recentl...

Abstract: Cybercriminals use different types of geographically distributed servers to run their operations such as C&C servers...

Abstract: We introduce the notion of asymmetric programmable hash functions (APHFs, for short), which adapts Programmable Hash Fun...

Abstract: We consider the problem of computing a bounded error approximation of the solution over a bounded time [0, T ], of a par...

Abstract: Interaction between variables, in a program, is a common phenomenon. Sometimes, programmers make a mistake and use varia...

Abstract: Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to aban...

Abstract: Code signing is a solution to verify the integrity of software and its publisher’s identity,but it can be abused b...

Abstract: Analyzing cryptographic constructions in the computational model, or simply verifying the correctness of security proofs...

Abstract: Provably fixing security problems can make a system unusable, while patching the system to protect from the latest secur...

Abstract: Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms, and recent years ha...

Abstract: In this talk we will review the general resource analysis framework present in the CiaoPP system. We will start by descr...

Abstract: Dynamic invariant detection allows mining of specifications from existing systems, but the quality of the resulting inva...

Abstract: To achieve scalability and availability, modern distributed systems often provide only weak guarantees about the consist...

Abstract: Logic programming systems featuring Constraint Logic Programming and tabled execution have been shown to increase the de...

Abstract: Using annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are t...

Abstract: We consider the problem of computing a bounded error ap-proximation of the solution over a bounded time [0, T], of a par...

Abstract: In this talk I’ll try to practically demonstrate how some of the key features of Prolog-style logic programming ca...

Abstract: Anonymity networks such as Tor are a critical privacy-enabling technology. Tor’s hidden services protect the locat...

Abstract: We study systems consisting of a leader process and arbitrarily many anonymous and identical contributors. Processes com...

Abstract: We study the task of verifiable delegation of computation on encrypted data. We improve previous definitions in order to...

Abstract: We introduce a model for mixed syntactic/semantic approximation of programs based on symbolic finite automata (SFA). The...

Abstract: In the past decade, significant progress has been made towards design and development of efficient fine-grained (i.e., l...

Abstract: Efficient implementations of concurrent objects such as semaphores, locks, and atomic collections are essential to moder...

Abstract: FIWARE is an open platform which integrates advanced OpenStack-based Cloud capabilities and a library of Generic Enabler...

Abstract: I propose a process calculus to model high-level distributed systems, whose topology is described by a digraph. The calc...

Abstract: Masking schemes transform circuits such that even adversaries that may learn the value of some intermediate wires do not...

Abstract: How do we know a program does what it claims to do? In this talk I will present CHABADA, our technique to detect suspici...