Modeling the execution of LOTOS specifications by cooperating extended finite state machines. - Adriano Valenzano; Riccardo Sisto; Luigi Ciminiera (SPDP, 1990)

An abstract execution model for basic LOTOS. - Adriano Valenzano; Riccardo Sisto; Luigi Ciminiera (Softw. Eng. J., 1990)

The use of Estelle to specify manufacturing systems. - Maurizio Morisio; Riccardo Sisto (Microprocessing and Microprogramming, 1990)

Parallel CRC generation. - Guido Albertengo; Riccardo Sisto (IEEE Micro, 1990)

A Protocol for Multirendezvous of LOTOS Processes. - Riccardo Sisto; Luigi Ciminiera; Adriano Valenzano (IEEE Trans. Computers, 1991)

Probabilistic Characterization of Algebraic Protocol Specifications. - Riccardo Sisto; Luigi Ciminiera; Adriano Valenzano (ICDCS, 1992)

Throughput analysis of timed token protocols in double ring networks. - Claudio Demartini; Paolo Montuschi; Adriano Valenzano; Luigi Ciminiera; Riccardo Sisto (LCN, 1992)

Rapid Prototyping of Protocols from LOTOS Specifications. - Adriano Valenzano; Riccardo Sisto; Luigi Ciminiera (Softw. Pract. Exp., 1993)

Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. - Marco Ajmone Marsan; Andrea Bianco; Luigi Ciminiera; Riccardo Sisto; Adriano Valenzano (MASCOTS, 1994)

A LOTOS specification of the SERCOS field-bus protocol. - Luca Durante; Riccardo Sisto; Adriano Valenzano (SEKE, 1994)

Implementation of static semantic analysis of LOTOS specifications. - Luca Durante; Riccardo Sisto; Adriano Valenzano (Softw. Eng. J., 1994)

A LOTOS extension for the performance analysis of distributed systems. - Marco Ajmone Marsan; Andrea Bianco; Luigi Ciminiera; Riccardo Sisto; Adriano Valenzano (IEEE/ACM Trans. Netw., 1994)

A method to build symbolic representations of LOTOS specifications. - Riccardo Sisto (PSTV, 1995)

Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. - Riccardo Sisto; Adriano Valenzano (IEEE Trans. Computers, 1995)

Adaptive bandwidth balancing mechanisms for DQDB networks. - Gianluca Cena; Luca Durante; Riccardo Sisto; Adriano Valenzano (Comput. Commun., 1997)

A Java-based Formal Development Environment for Factory Communication Systems. - Claudio Demartini; Riccardo Sisto (ACSD, 1998)

Static Analysis of Java Multithreaded and Distributed Applications. - Claudio Demartini; Riccardo Sisto (PDSE, 1998)

dSPIN: A Dynamic Extension of SPIN. - Claudio Demartini; Radu Iosif; Riccardo Sisto (SPIN, 1999)

Distributed-Memory Model Checking with SPIN. - Flavio Lerda; Riccardo Sisto (SPIN, 1999)

A Deadlock Detection Tool for Concurrent Java Programs. - Claudio Demartini; Radu Iosif; Riccardo Sisto (Softw. Pract. Exp., 1999)

A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. - Luca Durante; Riccardo Sisto; Adriano Valenzano (FORTE, 2000)

Using Garbage Collection in Model Checking. - Radu Iosif; Riccardo Sisto (SPIN, 2000)

Using binary decision diagrams for representation and analysis of communication protocols. - Riccardo Sisto (Comput. Networks, 2000)

SCARAB: Innovative Services Supporting User and Terminal Mobility. - Luigi Ciminiera; Paolo Maggi; Riccardo Sisto (ICDCS Workshops, 2001)

Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. - Xavier Hannotin; Paolo Maggi; Riccardo Sisto (Mobile Agents, 2001)

Using Data Flow Analysis to Infer Type Information in Java Bytecode. - Paolo Maggi; Riccardo Sisto (SCAM, 2001)

Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. - Xavier Hannotin; Paolo Maggi; Riccardo Sisto (WOA, 2001)

Using SPIN to Verify Security Properties of Cryptographic Protocols. - Paolo Maggi; Riccardo Sisto (SPIN, 2002)

Experiments on Formal Verification of Mobile Agent Data Integrity Properties. - Paolo Maggi; Riccardo Sisto (WOA, 2002)

A configurable mobile agent data protection protocol. - Paolo Maggi; Riccardo Sisto (AAMAS, 2003)

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (FORTE, 2003)

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (TACAS, 2003)

Temporal logic properties of Java objects. - Radu Iosif; Riccardo Sisto (J. Syst. Softw., 2003)

Automatic testing equivalence verification of spi calculus specifications. - Luca Durante; Riccardo Sisto; Adriano Valenzano (ACM Trans. Softw. Eng. Methodol., 2003)

Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. - Davide Pozza; Riccardo Sisto; Luca Durante (AINA (1), 2004)

Exploiting Symmetries for Testing Equivalence in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (ATVA, 2004)

Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. - Luigi Ciminiera; Paolo Maggi; Riccardo Sisto (J. Syst. Softw., 2004)

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DIMVA, 2005)

Comparing lexical analysis tools for buffer overflow detection in network software. - Davide Pozza; Riccardo Sisto; Luca Durante; Adriano Valenzano (COMSWARE, 2006)

Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Int. J. Found. Comput. Sci., 2006)

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. - Alfredo Pironti 001; Riccardo Sisto (ISCC, 2007)

Improving the security of industrial networks by means of formal verification. - Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2007)

A Grid-Powered Framework to Support Courses on Distributed Programming. - Paolo Maggi; Riccardo Sisto (IEEE Trans. Educ., 2007)

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. - Alfredo Pironti 001; Riccardo Sisto (ARES, 2008)

A Lightweight Security Analyzer inside GCC. - Davide Pozza; Riccardo Sisto (ARES, 2008)

Vulnerability Modelling for the Analysis of Network Attacks. - Paolo Maggi; Davide Pozza; Riccardo Sisto (DepCoS-RELCOMEX, 2008)

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. - Alfredo Pironti 001; Riccardo Sisto (DepCoS-RELCOMEX, 2008)

Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. - Alfredo Pironti 001; Riccardo Sisto (HASE, 2008)

Efficient representation of the attacker's knowledge in cryptographic protocols analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Formal Aspects Comput., 2008)

An Experience in Embedded Control Software Verification. - Pierluigi Rolando; Riccardo Sisto (ETFA, 2009)

Tools for cryptographic protocols analysis: A technical and experimental comparison. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2009)

Detecting Chains of Vulnerabilities in Industrial Networks. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Davide Pozza; Riccardo Sisto; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2009)

iNFAnt: NFA pattern matching on GPGPU devices. - Niccolo Cascarano; Pierluigi Rolando; Fulvio Risso; Riccardo Sisto (Comput. Commun. Rev., 2010)

Provably correct Java implementations of Spi Calculus security protocols specifications. - Alfredo Pironti 001; Riccardo Sisto (Comput. Secur., 2010)

The Java SPI Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Riccardo Sisto; Davide Pozza (ARES, 2011)

An approach to refinement checking of SysML requirements. - Denis Makartetskiy; Riccardo Sisto (ETFA, 2011)

JavaSPI: A Framework for Security Protocol Implementation. - Matteo Avalle; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto (Int. J. Secur. Softw. Eng., 2011)

Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. - Manuel Cheminod; Alfredo Pironti 001; Riccardo Sisto (IEEE Trans. Ind. Informatics, 2011)

SPAF: stateless FSA-based packet filters. - Pierluigi Rolando; Riccardo Sisto; Fulvio Risso (IEEE/ACM Trans. Netw., 2011)

Visual Model-Driven Design, Verification and Implementation of Security Protocols. - Piergiuseppe Bettassa Copet; Alfredo Pironti 001; Davide Pozza; Riccardo Sisto; Pietro Vivoli (HASE, 2012)

Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. - Matteo Avalle; Fulvio Risso; Riccardo Sisto (ICC, 2012)

Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification. - Giorgio Ghinamo; Francesco Vadala; Cecilia Corbi; Piergiuseppe Bettassa Copet; Fulvio Risso; Riccardo Sisto (UPINLBS, 2012)

Formally based semi-automatic implementation of an open security protocol. - Alfredo Pironti 001; Davide Pozza; Riccardo Sisto (J. Syst. Softw., 2012)

PIT overload analysis in content centric networks. - Matteo Virgilio; Guido Marchetto; Riccardo Sisto (ICN, 2013)

Resource management policies for cloud-based interactive 3D applications. - Guido Marchetto; Riccardo Sisto; Luca Stanziano (ICC Workshops, 2013)

Automated Formal Verification of Application-specific Security Properties. - Piergiuseppe Bettassa Copet; Riccardo Sisto (ESSoS, 2014)

An efficient data exchange algorithm for chained network functions. - Ivano Cerrato; Guido Marchetto; Fulvio Risso; Riccardo Sisto; Matteo Virgilio (HPSR, 2014)

Automatic Configuration of Opaque Network Functions in CMS. - Serena Spinoso; Marco Leogrande; Fulvio Risso; Sushil Singh; Riccardo Sisto (UCC, 2014)

Formal verification of security protocol implementations: a survey. - Matteo Avalle; Alfredo Pironti 001; Riccardo Sisto (Formal Aspects Comput., 2014)

Safe abstractions of data encodings in formal security protocol models. - Alfredo Pironti 001; Riccardo Sisto (Formal Aspects Comput., 2014)

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. - Serena Spinoso; Matteo Virgilio; Wolfgang John; Antonio Manzalini; Guido Marchetto; Riccardo Sisto (ESOCC, 2015)

Formal verification of LTE-UMTS handover procedures. - Piergiuseppe Bettassa Copet; Guido Marchetto; Riccardo Sisto; Luciana Costa (ISCC, 2015)

Interest Flooding Attack Countermeasures Assessment on Content Centric Networking. - Matteo Virgilio; Guido Marchetto; Riccardo Sisto (ITNG, 2015)

Wireless for the factory: The Wi-Fact analysis. - Alessia Autolitano; Daniele Brevi; Gianluca Cena; Pietro A. Cultrona; Guido Marchetto; Fulvio Rusina; Stefano Scanzio; Riccardo Scopigno; Riccardo Sisto (RTSI, 2015)

A formal model of network policy analysis. - Fulvio Valenza; Serena Spinoso; Cataldo Basile; Riccardo Sisto; Antonio Lioy (RTSI, 2015)

Initial Service Provider DevOps concept, capabilities and proposed tools. - Wolfgang John; Catalin Meirosu; Pontus Sköldström; Felician Németh; András Gulyás; Mario Kind; Sachin Sharma 001; Ioanna Papafili; George Agapiou; Guido Marchetto; Riccardo Sisto; Rebecca Steinert; et al. (CoRR, 2015)

Service Provider DevOps network capabilities and tools. - Rebecca Steinert; Wolfgang John; Pontus Sköldström; Bertrand Pechenot; András Gulyás; István Pelle; Tamás Lévai; Felicián Németh; Juhoon Kim; Catalin Meirosu; Xuejun Cai; Chunyan Fu; et al. (CoRR, 2015)

Final Service Provider DevOps concept and evaluation. - Guido Marchetto; Riccardo Sisto; Wolfgang John; Pontus Sköldström; Bertrand Pechenot; Felicián Németh; István Pelle; Juhoon Kim; Xuejun Cai; Chunyan Fu; Catalin Meirosu; Kostas Pentikousis; et al. (CoRR, 2016)

DynNav: Toward Open and Interoperable Navigation Services. - Piergiuseppe Bettassa Copet; Fulvio Risso; Riccardo Sisto; Cecilia Corbi; Giorgio Ghinamo; Francesco Vadala; Pietro Leggero (IT Prof., 2016)

Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. - Matteo Avalle; Fulvio Risso; Riccardo Sisto (IEEE/ACM Trans. Netw., 2016)

A Framework for User-Friendly Verification-Oriented VNF Modeling. - Guido Marchetto; Riccardo Sisto; Matteo Virgilio; Jalolliddin Yusupov (COMPSAC (1), 2017)

Formal verification of LTE-UMTS and LTE-LTE handover procedures. - Piergiuseppe Bettassa Copet; Guido Marchetto; Riccardo Sisto; Luciana Costa (Comput. Stand. Interfaces, 2017)

Push applications and dynamic content generation over content-centric networking. - Matteo Virgilio; Guido Marchetto; Riccardo Sisto (Int. J. Commun. Syst., 2017)

A formal approach for network security policy validation. - Fulvio Valenza; Tao Su; Serena Spinoso; Antonio Lioy; Riccardo Sisto; Marco Vallini (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2017)

Virtual Network Embedding with Formal Reachability Assurance. - Guido Marchetto; Riccardo Sisto; Jalolliddin Yusupov; Adlen Ksentini (CNSM, 2018)

Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks. - Jalolliddin Yusupov; Adlen Ksentini; Guido Marchetto; Riccardo Sisto (CSCN, 2018)

Formally verified latency-aware VNF placement in industrial Internet of things. - Guido Marchetto; Riccardo Sisto; Jalolliddin Yusupov; Adlen Ksentini (WFCS, 2018)

Formally sound implementations of security protocols with JavaSPI. - Riccardo Sisto; Piergiuseppe Bettassa Copet; Matteo Avalle; Alfredo Pironti 001 (Formal Aspects Comput., 2018)

Seamless Configuration of Virtual Network Functions in Data Center Provider Networks. - Serena Spinoso; Marco Leogrande; Fulvio Risso; Sushil Singh; Riccardo Sisto (J. Netw. Syst. Manag., 2018)

An efficient data exchange mechanism for chained network functions. - Ivano Cerrato; Guido Marchetto; Fulvio Risso; Riccardo Sisto; Matteo Virgilio; Roberto Bonafiglia (J. Parallel Distributed Comput., 2018)

Performance measurements of QUIC communications. - Fabio Bulgarella; Mauro Cociglio; Giuseppe Fioccola; Guido Marchetto; Riccardo Sisto (ANRW, 2019)

Towards a fully automated and optimized network security functions orchestration. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (ICCCS, 2019)

Detecting Injection Attacks on Cooperative Adaptive Cruise Control. - Marco Iorio; Fulvio Risso; Riccardo Sisto; Alberto Buttiglieri; Massimo Reineri (VNC, 2019)

A Framework for Verification-Oriented User-Friendly Network Function Modeling. - Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (IEEE Access, 2019)

Formally specifying and checking policies and anomalies in service function chaining. - Fulvio Valenza; Serena Spinoso; Riccardo Sisto (J. Netw. Comput. Appl., 2019)

Multipoint Passive Monitoring in Packet Networks. - Mauro Cociglio; Giuseppe Fioccola; Guido Marchetto; Amedeo Sapio; Riccardo Sisto (IEEE/ACM Trans. Netw., 2019)

Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (CYSARM@CCS, 2020)

Introducing programmability and automation in the synthesis of virtual firewall rules. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NetSoft, 2020)

Automated optimal firewall orchestration and configuration in virtualized networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (NOMS, 2020)

Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. - Alessio Sacco; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (WFCS, 2020)

Securing SOME/IP for In-Vehicle Service Protection. - Marco Iorio; Massimo Reineri; Fulvio Risso; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Veh. Technol., 2020)

Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware. - Marco Iorio; Alberto Buttiglieri; Massimo Reineri; Fulvio Risso; Riccardo Sisto; Fulvio Valenza (IEEE Veh. Technol. Mag., 2020)

Multipoint Alternate-Marking Method for Passive and Hybrid Performance Monitoring. - Giuseppe Fioccola; Mauro Cociglio; Amedeo Sapio; Riccardo Sisto (RFC, 2020)

A novel approach for security function graph configuration and deployment. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (NetSoft, 2021)

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. - Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov; Adlen Ksentini (IEEE Trans. Ind. Informatics, 2021)

Improving the Formal Verification of Reachability Policies in Virtualized Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Serena Spinoso; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Netw. Serv. Manag., 2021)

Security Automation using Traffic Flow Modeling. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (NetSoft, 2022)

Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. - Daniele Bringhenti; Jalolliddin Yusupov; Alejandro Molina Zarca; Fulvio Valenza; Riccardo Sisto; Jorge Bernal Bernabé; Antonio F. Skarmeta (Comput. Networks, 2022)

Clustered Alternate-Marking Method. - Giuseppe Fioccola; Mauro Cociglio; Amedeo Sapio; Riccardo Sisto; Tianran Zhou (RFC, 2022)

Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (Handb. Formal Anal. Verification Cryptogr., 2023)

Formal Verification of the FDO Protocol. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (CSCN, 2023)

Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (CSR, 2023)

A demonstration of VEREFOO: an automated framework for virtual firewall configuration. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Towards Security Automation in Virtual Networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Automating the configuration of firewalls and channel protection systems in virtual networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Security automation for multi-cluster orchestration in Kubernetes. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2023)

Automated Firewall Configuration in Virtual Networks. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza; Jalolliddin Yusupov (IEEE Trans. Dependable Secur. Comput., 2023)

A novel abstraction for security configuration in virtual networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (Comput. Networks, 2023)

Explicit Host-to-Network Flow Measurements Techniques. - Mauro Cociglio; Alexandre Ferrieux; Giuseppe Fioccola; Igor Lubashev; Fabio Bulgarella; Massimo Nilo; Isabelle Hamchaoui; Riccardo Sisto (RFC, 2023)

A Looping Process for Cyberattack Mitigation. - Daniele Bringhenti; Francesco Pizzato; Riccardo Sisto; Fulvio Valenza (CSR, 2024)

An intent-based solution for network isolation in Kubernetes. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NetSoft, 2024)

Automatic and optimized firewall reconfiguration. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NOMS, 2024)

Security Automation in next-generation Networks and Cloud environments. - Francesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (NOMS, 2024)

Automation for Network Security Configuration: State of the Art and Research Trends. - Daniele Bringhenti; Guido Marchetto; Riccardo Sisto; Fulvio Valenza (ACM Comput. Surv., 2024)

A Two-Fold Traffic Flow Model for Network Security Management. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Netw. Serv. Manag., 2024)

Design and implementation of a tool to improve error reporting for eBPF code. - Rosario Rizza; Riccardo Sisto; Fulvio Valenza (CSR, 2025)

Formal verification of a V2X scheme mixing traditional PKI and group signatures. - Simone Bussa; Riccardo Sisto; Fulvio Valenza (J. Inf. Secur. Appl., 2025)

Atomizing Firewall Policies for Anomaly Analysis and Resolution. - Daniele Bringhenti; Simone Bussa; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Dependable Secur. Comput., 2025)

Automating VPN Configuration in Computer Networks. - Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza (IEEE Trans. Dependable Secur. Comput., 2025)