Abstract: Although in many occasions the protection of information systems is achieved by implementing obscure procedures, the pro...

Abstract: In this talk, we present a new framework, called polyhedral abstraction, for checking safety properties on Petri nets, t...

Abstract: Non-Interactive Zero-Knowledge proofs (NIZKs) allow a prover to convince a verifier about the validity of a claim withou...

Abstract: In this talk, we give a brief introduction to probabilistic programming and present Zar: a formally verified compiler pi...

Abstract: Many proofs of interactive cryptographic protocols (e.g., as in Universal Composability) operate by proving the protocol...

Abstract: The continuously increasing interest in intelligent autonomous systems underlines the need for new developments in cyber...

Abstract: Computer systems and software play a vital role in the functioning of our society. Ensuring their security is of utmost ...

Abstract: Autonomous Systems offer hope towards moving away from mechanized, unsafe, manual, often inefficient practices. Last dec...

Abstract: Secure Multiparty Computation (MPC) allows a set of mutually distrusting parties to jointly perform a computation on the...

Abstract: Open Access (OA) is a mechanism that allows for free and immediate access to research results and data. It aims to enhan...

Abstract: The most widely studied language for expressing statements in the context of Zero-Knowledge (ZK) proofs is arithmetic ci...

Abstract: Non-volatile main memory (NVMM) is a new tier in the memory hierarchy that offers jointly the durability of spinning dis...

Abstract: Self-adaptation is often defined as the ability of systems to alter at runtime their behaviour in response to changes in...

Abstract: The context-free language (CFL) reachability problem on graphs (as well as a closely related problem of language emptine...

Abstract: Smart contracts are immutable programs deployed on the blockchain that can manage significant assets. Because of this, v...