Emanuele D’Osualdo is a Marie-Curie Fellow in Theoretical Computer Science, at Imperial College London, working with Philippa Gardner. His research interests include Semantics, Models of Concurrency, Static Analysis, Process Algebra, Security, Abstract Interpretation, Model Checking, Programming Languages, Declarative Programming.

Group Publications

  1. Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions

    31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), pp. 31:1–31:23

  2. (Submitted) TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

  3. Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-bounded Processes

    Proceedings of 30th IEEE Computer Security Foundations Symposium, (CSF 2017)