Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis Abhishek Bichhawat∗ , Vineet Rajani† , Deepak Garg† , Christian Hammer∗ ∗ Saarland University, {bichhawat,hammer}@cs.uni-saarland.de † MPI-

Source URL: software.imdea.org

• Algebra
• Abstract algebra
• Mathematics
• Algebraic structures
• Information flow
• Information theory
• Lattice
• Lattice theory

Is Content Publishing in BitTorrent Altruistic or Profit-Driven? Rubén Cuevas (UC3M), Michal Kryczka (Institute IMDEA Networks), Angel Cuevas (UC3M), Sebastian Kaune (TU Darmstadt), Carmen Guerrero (UC3M) and Reza Rejai

Source URL: mirage.cs.uoregon.edu

A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier

Source URL: software.imdea.org

• Cryptography
• Applied mathematics
• Computer security
• Advantage
• Provable security
• Cryptographic protocol
• Data Encryption Standard
• DolevYao model
• NeedhamSchroeder protocol

Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Ciphertext indistinguishability
• Cryptography
• DolevYao model
• Communications protocol
• Computing

Towards Timed Models for Cyber-Physical Security Protocols Max Kanovich∗ , Tajana Ban Kirigin† , Vivek Nigam‡ , Andre Scedrov§ and Carolyn Talcott¶ ∗ ∗

Source URL: software.imdea.org

• Multiplexing
• Concurrency
• Diagrams
• Petri net
• T-carrier
• Finite topological space
• Relaxation
• Futures and promises
• Mathematics
• Abstraction
• Software engineering

Programming Paradigm Driven Heap Analysis Mark Marron1 1 IMDEA Ondˇrej Lhoták2

Source URL: plg.uwaterloo.ca

On duality relations for session types Giovanni Bernardi1 , Ornela Dardha2 , Simon J. Gay2 , and Dimitrios Kouzapas2,3 1 IMDEA Software Institute, Madrid, Spain

Source URL: www.cs.le.ac.uk

Verified Computational Differential Privacy with Applications to Smart Metering Gilles Barthe∗ , George Danezis‡ , Benjamin Gr´egoire† , C´esar Kunz∗ , Santiago Zanella-B´eguelin‡ ∗ IMDEA † INRIA

Source URL: www0.cs.ucl.ac.uk

• Generalized functions
• Distribution
• Functional analysis

Characterising Testing Preorders for Broadcasting Distributed Systems? Andrea Cerone1 and Matthew Hennessy2 1 IMDEA Software Institute, 2 Trinity College Dublin

Source URL: www.cs.le.ac.uk

Micro-Policies: Formally Verified Tagging Schemes for Safety and Security (Extended Abstract) C˘at˘alin Hrit¸cu (INRIA Paris)1 Today’s computer systems are distressingly insecure. A host of vulnerabilities arise fro

Source URL: software.imdea.org

• Computing
• Central processing unit
• Computer architecture
• Computer engineering
• Cache
• Instruction set
• Opcode
• Program counter
• Computer
• Tag
• CPU cache