| 2025 | TrustCom | FaultSpy: On the Insecurity of SPDM Protocols under Fault Injection. | Peiyao Sun, Qifan Wang, David F. Oswald, Mark Dermot Ryan, Vladimiro Sassone, Ahmad Atamli |
| 2022 | MODELS | A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design. | Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael J. Butler, Dana Dghaym, Thai Son Hoang |
| 2021 | MODELS | Connecting Regulatory Requirements to Audit Outcomes: A Model-driven Approach to Auditable Compliance. | Robert Thorburn, Federica Paci, Vladimiro Sassone, Sophie Stalla-Bourdillon |
| 2018 | DBSEC | Towards Adaptive Access Control. | Luciano Argento, Andrea Margheri, Federica Paci, Vladimiro Sassone, Nicola Zannone |
| 2017 | EDCC | A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database. | Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri, Vladimiro Sassone |
| 2017 | ICDCS | A Distributed Access Control System for Cloud Federations. | Shorouq Alansari, Federica Paci, Vladimiro Sassone |
| 2017 | ICDCS | Decentralised Runtime Monitoring for Access Control Systems in Cloud Federations. | Md Sadek Ferdous, Andrea Margheri, Federica Paci, Mu Yang, Vladimiro Sassone |
| 2011 | ICICS | Minimising Anonymity Loss in Anonymity Networks under DoS Attacks. | Mu Yang, Vladimiro Sassone |
| 2010 | CONCUR | Trust in Anonymity Networks. | Vladimiro Sassone, Sardaouna Hamadou, Mu Yang |
| 2010 | SP | Reconciling Belief and Vulnerability in Information Flow. | Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi |
| 2009 | FAST | A Formal Model of Provenance in Distributed Systems. | Issam Souilah, Adrian Francalanza, Vladimiro Sassone |
| 2008 | FOSSACS | Structural Operational Semantics for Stochastic Process Calculi. | Bartek Klin, Vladimiro Sassone |
| 2007 | FOSSACS | Semantic Barbs and Biorthogonality. | Julian Rathke, Vladimiro Sassone, Pawel Sobocinski |
| 2006 | PPDP | Typed polyadic pi-calculus in bigraphs. | Mikkel Bundgaard, Vladimiro Sassone |
| 2006 | PPDP | Inferring dynamic credentials for rle-based trust management. | Daniele Gorla, Matthew Hennessy, Vladimiro Sassone |
| 2005 | CALCO | Labels from Reductions: Towards a General Theory. | Bartek Klin, Vladimiro Sassone, Pawel Sobocinski |
| 2005 | CCS | A framework for concrete reputation-systems with applications to history-based access control. | Karl Krukow, Mogens Nielsen, Vladimiro Sassone |
| 2005 | ICALP | Spatial Logics for Bigraphs. | Giovanni Conforti, Damiano Macedonio, Vladimiro Sassone |
| 2005 | LICS | Reactive Systems over Cospans. | Vladimiro Sassone, Pawel Sobocinski |
| 2004 | ESOP | A Dependently Typed Ambient Calculus. | Cdric Lhoussaine, Vladimiro Sassone |
| 2004 | SAC | The inheritance anomaly: ten years after. | Giuseppe Milicia, Vladimiro Sassone |
| 2003 | FOSSACS | Deriving Bisimulation Congruences: 2-Categories Vs Precategories. | Vladimiro Sassone, Pawel Sobocinski |
| 2003 | ICALP | Secrecy in Untrusted Networks. | Michele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone |
| 2003 | SEFM | A Formal Model for Trust in Dynamic Networks. | Marco Carbone, Mogens Nielsen, Vladimiro Sassone |
| 2002 | CONCUR | A Calculus of Mobile Resources. | Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone |
| 2002 | CONCUR | Typing and Subtyping Mobility in Boxed Ambients. | Massimo Merro, Vladimiro Sassone |
| 2001 | FOSSACS | High-Level Petri Nets as Type Theories in the Join Calculus. | Maria Grazia Buscemi, Vladimiro Sassone |
| 2000 | ICALP | Algebraic Models for Contextual Nets. | Roberto Bruni, Vladimiro Sassone |
| 1996 | CONCUR | Comparing Transition Systems with Independence and Asynchronous Transition Systems. | Thomas T. Hildebrandt, Vladimiro Sassone |
| 1996 | LICS | Higher Dimensional Transition Systems. | Gian Luca Cattani, Vladimiro Sassone |
| 1995 | CONCUR | Characterizing Behavioural Congruences for Petri Nets. | Mogens Nielsen, Lutz Priese, Vladimiro Sassone |
| 1995 | FCT | Axiomatizing Petri Net Concatenable Processes. | Vladimiro Sassone |
| 1993 | CONCUR | A Classification of Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | MFCS | Deterministic Behavioural Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1992 | CONCUR | On the Semantics of Petri Nets. | Jos Meseguer, Ugo Montanari, Vladimiro Sassone |
| 1991 | MFCS | CCS Dynamic Bisimulation is Progressing. | Ugo Montanari, Vladimiro Sassone |