Riccardo Sisto

ORCID

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 52

Top Venues

Publications

Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Automatic and optimized firewall reconfiguration. NOMS (2024)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
Automation for Network Security Configuration: State of the Art and Research Trends. ACM Comput. Surv. 56 (3) (2024)
Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
An intent-based solution for network isolation in Kubernetes. NetSoft (2024)
Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Security Automation in next-generation Networks and Cloud environments. NOMS (2024)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Towards Security Automation in Virtual Networks. NetSoft (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif. CSR (2023)
Mauro Cociglio, Alexandre Ferrieux, Giuseppe Fioccola, Igor Lubashev, Fabio Bulgarella, Massimo Nilo, Isabelle Hamchaoui, Riccardo Sisto
Explicit Host-to-Network Flow Measurements Techniques. RFC 9506 (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Security automation for multi-cluster orchestration in Kubernetes. NetSoft (2023)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Automated Firewall Configuration in Virtual Networks. IEEE Trans. Dependable Secur. Comput. 20 (2) (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
A novel abstraction for security configuration in virtual networks. Comput. Networks 228 (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
Automating the configuration of firewalls and channel protection systems in virtual networks. NetSoft (2023)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Formal Verification of the FDO Protocol. CSCN (2023)
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
A demonstration of VEREFOO: an automated framework for virtual firewall configuration. NetSoft (2023)
Giuseppe Fioccola, Mauro Cociglio, Amedeo Sapio, Riccardo Sisto, Tianran Zhou
Clustered Alternate-Marking Method. RFC 9342 (2022)
Simone Bussa, Riccardo Sisto, Fulvio Valenza
Security Automation using Traffic Flow Modeling. NetSoft (2022)
Daniele Bringhenti, Jalolliddin Yusupov, Alejandro Molina Zarca, Fulvio Valenza, Riccardo Sisto, Jorge Bernal Bernabé, Antonio F. Skarmeta
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks. Comput. Networks 213 (2022)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Serena Spinoso, Fulvio Valenza, Jalolliddin Yusupov
Improving the Formal Verification of Reachability Policies in Virtualized Networks. IEEE Trans. Netw. Serv. Manag. 18 (1) (2021)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
A novel approach for security function graph configuration and deployment. NetSoft (2021)
Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov, Adlen Ksentini
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks. IEEE Trans. Ind. Informatics 17 (2) (2021)
Marco Iorio, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
Securing SOME/IP for In-Vehicle Service Protection. IEEE Trans. Veh. Technol. 69 (11) (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Automated optimal firewall orchestration and configuration in virtualized networks. NOMS (2020)
Alessio Sacco, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
Work-in-Progress: A Formal Approach to Verify Fault Tolerance in Industrial Network Systems. WFCS (2020)
Marco Iorio, Alberto Buttiglieri, Massimo Reineri, Fulvio Risso, Riccardo Sisto, Fulvio Valenza
Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware. IEEE Veh. Technol. Mag. 15 (3) (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Introducing programmability and automation in the synthesis of virtual firewall rules. NetSoft (2020)
Giuseppe Fioccola, Mauro Cociglio, Amedeo Sapio, Riccardo Sisto
Multipoint Alternate-Marking Method for Passive and Hybrid Performance Monitoring. RFC 8889 (2020)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza
Short Paper: Automatic Configuration for an Optimal Channel Protection in Virtualized Networks. CYSARM@CCS (2020)
Mauro Cociglio, Giuseppe Fioccola, Guido Marchetto, Amedeo Sapio, Riccardo Sisto
Multipoint Passive Monitoring in Packet Networks. IEEE/ACM Trans. Netw. 27 (6) (2019)
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
Towards a fully automated and optimized network security functions orchestration. ICCCS (2019)
Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Jalolliddin Yusupov
A Framework for Verification-Oriented User-Friendly Network Function Modeling. IEEE Access 7 (2019)
Fulvio Valenza, Serena Spinoso, Riccardo Sisto
Formally specifying and checking policies and anomalies in service function chaining. J. Netw. Comput. Appl. 146 (2019)
Marco Iorio, Fulvio Risso, Riccardo Sisto, Alberto Buttiglieri, Massimo Reineri
Detecting Injection Attacks on Cooperative Adaptive Cruise Control. VNC (2019)
Fabio Bulgarella, Mauro Cociglio, Giuseppe Fioccola, Guido Marchetto, Riccardo Sisto
Performance measurements of QUIC communications. ANRW (2019)
Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
Virtual Network Embedding with Formal Reachability Assurance. CNSM (2018)
Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio, Roberto Bonafiglia
An efficient data exchange mechanism for chained network functions. J. Parallel Distributed Comput. 114 (2018)
Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
Formally sound implementations of security protocols with JavaSPI. Formal Aspects Comput. 30 (2) (2018)
Jalolliddin Yusupov, Adlen Ksentini, Guido Marchetto, Riccardo Sisto
Multi-Objective Function Splitting and Placement of Network Slices in 5G Mobile Networks. CSCN (2018)
Guido Marchetto, Riccardo Sisto, Jalolliddin Yusupov, Adlen Ksentini
Formally verified latency-aware VNF placement in industrial Internet of things. WFCS (2018)
Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
Seamless Configuration of Virtual Network Functions in Data Center Provider Networks. J. Netw. Syst. Manag. 26 (1) (2018)
Guido Marchetto, Riccardo Sisto, Matteo Virgilio, Jalolliddin Yusupov
A Framework for User-Friendly Verification-Oriented VNF Modeling. COMPSAC (1) (2017)
Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
Formal verification of LTE-UMTS and LTE-LTE handover procedures. Comput. Stand. Interfaces 50 (2017)
Fulvio Valenza, Tao Su, Serena Spinoso, Antonio Lioy, Riccardo Sisto, Marco Vallini
A formal approach for network security policy validation. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 8 (1) (2017)
Matteo Virgilio, Guido Marchetto, Riccardo Sisto
Push applications and dynamic content generation over content-centric networking. Int. J. Commun. Syst. 30 (3) (2017)
Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto, Cecilia Corbi, Giorgio Ghinamo, Francesco Vadala, Pietro Leggero
DynNav: Toward Open and Interoperable Navigation Services. IT Prof. 18 (2) (2016)
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, Sachin Sharma, Ioanna Papafili, Serena Spinoso, Matteo Virgilio, Rebecca Steinert, Per Kreuger, Shaoteng Liu, Jan Ekman, Antonio Manzalini, Apoorv Shukla
Final Service Provider DevOps concept and evaluation. CoRR (2016)
Matteo Avalle, Fulvio Risso, Riccardo Sisto
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. IEEE/ACM Trans. Netw. 24 (3) (2016)
Fulvio Valenza, Serena Spinoso, Cataldo Basile, Riccardo Sisto, Antonio Lioy
A formal model of network policy analysis. RTSI (2015)
Matteo Virgilio, Guido Marchetto, Riccardo Sisto
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking. ITNG (2015)
Alessia Autolitano, Daniele Brevi, Gianluca Cena, Pietro A. Cultrona, Guido Marchetto, Fulvio Rusina, Stefano Scanzio, Riccardo Scopigno, Riccardo Sisto
Wireless for the factory: The Wi-Fact analysis. RTSI (2015)
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, Kostas Pentikousis, Sachin Sharma, Ioanna Papafili, Guido Marchetto, Riccardo Sisto, Fulvio Risso, Per Kreuger, Jan Ekman, Shaoteng Liu, Antonio Manzalini, Apoorv Shukla, Stefan Schmid
Service Provider DevOps network capabilities and tools. CoRR (2015)
Serena Spinoso, Matteo Virgilio, Wolfgang John, Antonio Manzalini, Guido Marchetto, Riccardo Sisto
Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. ESOCC (2015)
Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
Formal verification of LTE-UMTS handover procedures. ISCC (2015)
Wolfgang John, Catalin Meirosu, Pontus Sköldström, Felician Németh, András Gulyás, Mario Kind, Sachin Sharma, Ioanna Papafili, George Agapiou, Guido Marchetto, Riccardo Sisto, Rebecca Steinert, Per Kreuger, Henrik Abrahamsson, Antonio Manzalini, Nadi Sarrar
Initial Service Provider DevOps concept, capabilities and proposed tools. CoRR (2015)
Ivano Cerrato, Guido Marchetto, Fulvio Risso, Riccardo Sisto, Matteo Virgilio
An efficient data exchange algorithm for chained network functions. HPSR (2014)
Alfredo Pironti, Riccardo Sisto
Safe abstractions of data encodings in formal security protocol models. Formal Aspects Comput. 26 (1) (2014)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto
Formal verification of security protocol implementations: a survey. Formal Aspects Comput. 26 (1) (2014)
Piergiuseppe Bettassa Copet, Riccardo Sisto
Automated Formal Verification of Application-specific Security Properties. ESSoS (2014)
Serena Spinoso, Marco Leogrande, Fulvio Risso, Sushil Singh, Riccardo Sisto
Automatic Configuration of Opaque Network Functions in CMS. UCC (2014)
Matteo Virgilio, Guido Marchetto, Riccardo Sisto
PIT overload analysis in content centric networks. ICN (2013)
Guido Marchetto, Riccardo Sisto, Luca Stanziano
Resource management policies for cloud-based interactive 3D applications. ICC Workshops (2013)
Alfredo Pironti, Davide Pozza, Riccardo Sisto
Formally based semi-automatic implementation of an open security protocol. J. Syst. Softw. 85 (4) (2012)
Matteo Avalle, Fulvio Risso, Riccardo Sisto
Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. ICC (2012)
Giorgio Ghinamo, Francesco Vadala, Cecilia Corbi, Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto
Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification. UPINLBS (2012)
Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE (2012)
Denis Makartetskiy, Riccardo Sisto
An approach to refinement checking of SysML requirements. ETFA (2011)
Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto
JavaSPI: A Framework for Security Protocol Implementation. Int. J. Secur. Softw. Eng. 2 (4) (2011)
Manuel Cheminod, Alfredo Pironti, Riccardo Sisto
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Ind. Informatics 7 (1) (2011)
Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza
The Java SPI Framework for Security Protocol Implementation. ARES (2011)
Pierluigi Rolando, Riccardo Sisto, Fulvio Risso
SPAF: stateless FSA-based packet filters. IEEE/ACM Trans. Netw. 19 (1) (2011)
Niccolo Cascarano, Pierluigi Rolando, Fulvio Risso, Riccardo Sisto
iNFAnt: NFA pattern matching on GPGPU devices. Comput. Commun. Rev. 40 (5) (2010)
Alfredo Pironti, Riccardo Sisto
Provably correct Java implementations of Spi Calculus security protocols specifications. Comput. Secur. 29 (3) (2010)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces 31 (5) (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Pierluigi Rolando, Riccardo Sisto
An Experience in Embedded Control Software Verification. ETFA (2009)
Alfredo Pironti, Riccardo Sisto
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX (2008)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. 20 (3) (2008)
Davide Pozza, Riccardo Sisto
A Lightweight Security Analyzer inside GCC. ARES (2008)
Paolo Maggi, Davide Pozza, Riccardo Sisto
Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX (2008)
Alfredo Pironti, Riccardo Sisto
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE (2008)
Alfredo Pironti, Riccardo Sisto
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES (2008)
Alfredo Pironti, Riccardo Sisto
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC (2007)
Paolo Maggi, Riccardo Sisto
A Grid-Powered Framework to Support Courses on Distributed Programming. IEEE Trans. Educ. 50 (1) (2007)
Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces 29 (3) (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX (2007)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17 (4) (2006)
Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano
Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE (2006)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA (2005)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA (2004)
Davide Pozza, Riccardo Sisto, Luca Durante
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) (2004)
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. J. Syst. Softw. 72 (3) (2004)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS (2003)
Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12 (2) (2003)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE (2003)
Radu Iosif, Riccardo Sisto
Temporal logic properties of Java objects. J. Syst. Softw. 68 (3) (2003)
Paolo Maggi, Riccardo Sisto
A configurable mobile agent data protection protocol. AAMAS (2003)
Paolo Maggi, Riccardo Sisto
Experiments on Formal Verification of Mobile Agent Data Integrity Properties. WOA (2002)
Paolo Maggi, Riccardo Sisto
Using SPIN to Verify Security Properties of Cryptographic Protocols. SPIN (2002)
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
SCARAB: Innovative Services Supporting User and Terminal Mobility. ICDCS Workshops (2001)
Paolo Maggi, Riccardo Sisto
Using Data Flow Analysis to Infer Type Information in Java Bytecode. SCAM (2001)
Xavier Hannotin, Paolo Maggi, Riccardo Sisto
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents (2001)

Riccardo Sisto.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Riccardo Sisto