| 2026 | PERCOM | Formal Verification and Mitigation of Vulnerabilities in the IMDGuard Protocol. | Christian Coduri, Alessio Sacco, Guido Marchetto, Riccardo Sisto |
| 2025 | CNSM | A Demonstration of an Autonomous Approach for Cyberattack Mitigation. | Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2025 | CRiSIS | Analysis of the eBPF Vulnerabilities in the Linux Kernel. | Rosario Rizza, Riccardo Sisto, Fulvio Valenza |
| 2024 | NetSoft | An intent-based solution for network isolation in Kubernetes. | Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2024 | NOMS | Automatic and optimized firewall reconfiguration. | Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2024 | NOMS | Security Automation in next-generation Networks and Cloud environments. | Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2023 | NetSoft | A demonstration of VEREFOO: an automated framework for virtual firewall configuration. | Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2023 | NetSoft | Towards Security Automation in Virtual Networks. | Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2023 | NetSoft | Automating the configuration of firewalls and channel protection systems in virtual networks. | Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2023 | NetSoft | Security automation for multi-cluster orchestration in Kubernetes. | Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza |
| 2022 | NetSoft | Security Automation using Traffic Flow Modeling. | Simone Bussa, Riccardo Sisto, Fulvio Valenza |
| 2021 | NetSoft | A novel approach for security function graph configuration and deployment. | Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza |
| 2020 | CCS | Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. | Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza |
| 2020 | NetSoft | Introducing programmability and automation in the synthesis of virtual firewall rules. | Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov |
| 2020 | NOMS | Automated optimal firewall orchestration and configuration in virtualized networks. | Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov |
| 2020 | WFCS | Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. | Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza |
| 2018 | CNSM | Virtual Network Embedding with Formal Reachability Assurance. | Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini |
| 2018 | WFCS | Formally verified latency-aware VNF placement in industrial Internet of things. | Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini |
| 2017 | COMPSAC | A Framework for User-Friendly Verification-Oriented VNF Modeling. | Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov |
| 2015 | ISCC | Formal verification of LTE-UMTS handover procedures. | Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa |
| 2014 | HPSR | An efficient data exchange algorithm for chained network functions. | Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio |
| 2014 | UCC | Automatic Configuration of Opaque Network Functions in CMS. | Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto |
| 2011 | ETFA | An approach to refinement checking of SysML requirements. | Denis Makartetskiy, Riccardo Sisto |
| 2009 | ETFA | An Experience in Embedded Control Software Verification. | Pierluigi Rolando, Riccardo Sisto |
| 2008 | DEPCoS | Vulnerability Modelling for the Analysis of Network Attacks. | Paolo Maggi, Davide Pozza, Riccardo Sisto |
| 2008 | DEPCoS | Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. | Alfredo Pironti, Riccardo Sisto |
| 2007 | DEPCoS | Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | DEPCoS | Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | ISCC | An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. | Alfredo Pironti, Riccardo Sisto |
| 2005 | DIMVA | Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2004 | AINA | Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. | Davide Pozza, Riccardo Sisto, Luca Durante |
| 2004 | ATVA | Exploiting Symmetries for Testing Equivalence in the Spi Calculus. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | FORTE | Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | TACAS | A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2001 | SEKE | Temporal Logic Properties of Java Objects. | Radu Iosif, Riccardo Sisto |
| 2001 | SCAM | Using Data Flow Analysis to Infer Type Information in Java Bytecode. | Paolo Maggi, Riccardo Sisto |
| 2000 | FORTE | A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. | Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 1994 | MASCOTS | Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. | Marco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano |
| 1994 | SEKE | A LOTOS specification of the SERCOS field-bus protocol. | Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 1992 | ICDCS | Probabilistic Characterization of Algebraic Protocol Specifications. | Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano |
| 1992 | LCN | Throughput analysis of timed token protocols in double ring networks. | Claudio Demartini, Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera, Riccardo Sisto |