| 2026 | VMCAI | Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification. | Andreas Lindner, Karl Palmskog, Scott Constable, Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2025 | ICTAC | Pomsets for Process Management: A Healthcare Case Study. | Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo |
| 2025 | RTSS | Partitioning Kernel With Capability Controlled Temporal and Spatial Partitioning. | Henrik A. Karlsson, Roberto Guanciale |
| 2024 | AsiaCCS | Beyond Over-Protection: A Targeted Approach to Spectre Mitigation and Performance Optimization. | Tiziano Marinaro, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Hamed Nemati |
| 2023 | FMCAD | Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor. | Ning Dong, Roberto Guanciale, Mads Dam, Andreas Lw |
| 2022 | CoNEXT | HOL4P4: semantics for a verified data plane. | Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog |
| 2022 | FMCAD | Formally Verified Isolation of DMA. | Jonas Haglund, Roberto Guanciale |
| 2022 | FMCAD | Foundations and Tools in HOL4 for Analysis of Microarchitectural Out-of-Order Execution. | Karl Palmskog, Xiaomo Yao, Ning Dong, Roberto Guanciale, Mads Dam |
| 2021 | FMCAD | Refinement-Based Verification of Device-to-Device Information Flow. | Ning Dong, Roberto Guanciale, Mads Dam |
| 2021 | MICRO | Validation of Side-Channel Models via Observation Refinement. | Pablo Buiras, Hamed Nemati, Andreas Lindner, Roberto Guanciale |
| 2020 | CAV | Validation of Abstract Side-Channel Models for Computer Architectures. | Hamed Nemati, Pablo Buiras, Andreas Lindner, Roberto Guanciale, Swen Jacobs |
| 2020 | CCS | InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis. | Roberto Guanciale, Musard Balliu, Mads Dam |
| 2020 | Coordination | Choreographic Development of Message-Passing Applications - A Tutorial. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | ISoLA | On Testing Message-Passing Components. | Alex Coto, Roberto Guanciale, Emilio Tuosto |
| 2020 | SEFM | Hoare-Style Logic for Unstructured Programs. | Didrik Lundberg, Roberto Guanciale, Andreas Lindner, Mads Dam |
| 2019 | Coordination | DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. | Roberto Guanciale |
| 2019 | ICISS | Trustworthy Isolation of DMA Enabled Devices. | Jonas Haglund, Roberto Guanciale |
| 2016 | SP | Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures. | Roberto Guanciale, Hamed Nemati, Christoph Baumann, Mads Dam |
| 2015 | ESORICS | Trustworthy Prevention of Code Injection in Linux on Embedded Devices. | Hind Chfouka, Hamed Nemati, Roberto Guanciale, Mads Dam, Patrik Ekdahl |
| 2015 | PST | Privacy preserving business process matching. | Dilian Gurov, Peeter Laud, Roberto Guanciale |
| 2015 | SOFSEM | Trustworthy Virtualization of the ARMv7 Memory Subsystem. | Hamed Nemati, Roberto Guanciale, Mads Dam |
| 2014 | BPM | Privacy Preserving Business Process Fusion. | Roberto Guanciale, Dilian Gurov |
| 2014 | CCS | Automating Information Flow Analysis of Low Level Code. | Musard Balliu, Mads Dam, Roberto Guanciale |
| 2014 | PST | Private intersection of regular languages. | Roberto Guanciale, Dilian Gurov, Peeter Laud |
| 2013 | CCS | Formal verification of information flow security for a simple arm-based separation kernel. | Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati, Oliver Schwarz |
| 2013 | CCS | Machine code verification of a tiny ARM hypervisor. | Mads Dam, Roberto Guanciale, Hamed Nemati |
| 2010 | ICSOC | BPMN Modelling of Services with Dynamically Reconfigurable Transactions. | Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2008 | FORTE | Checking Correctness of Transactional Behaviors. | Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2007 | FORTE | Coordination Via Types in an Event-Based Framework. | Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |
| 2006 | FORTE | JSCL: A Middleware for Service Coordination. | Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2006 | ICSOC | Event Based Service Coordination over Dynamic and Heterogeneous Networks. | Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |