Riccardo Sisto

Polytechnic University of Turin — Italy

Computer Science · Physical Sciences

24h-index2.1kcitations173works2.52yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software-Defined Networks and 5G(39), Advanced Authentication Protocols Security(39), Formal Methods in Verification(32), Network Security and Intrusion Detection(32), User Authentication and Security Systems(29)

Publications172 total

A Demonstration of an Autonomous Approach for Cyberattack Mitigation
2025
Intent-Driven Network Isolation for the Cloud Computing Continuum
Journal of Network and Systems Management·2025Open Access
Toward Correctness by Construction for Network Security Configuration
Communications in computer and information science·2025
Design and implementation of a tool to improve error reporting for eBPF code
2025
Formal verification of a V2X scheme mixing traditional PKI and group signatures
Journal of Information Security and Applications·2025· 1 citedOpen Access
Atomizing Firewall Policies for Anomaly Analysis and Resolution
IEEE Transactions on Dependable and Secure Computing·2024· 2 cited
Autonomous Attack Mitigation Through Firewall Reconfiguration
International Journal of Network Management·2024· 2 citedOpen Access
A Looping Process for Cyberattack Mitigation
2024· 2 cited
An intent-based solution for network isolation in Kubernetes
2024· 5 cited
Automating VPN Configuration in Computer Networks
IEEE Transactions on Dependable and Secure Computing·2024· 8 cited
A Two-Fold Traffic Flow Model for Network Security Management
IEEE Transactions on Network and Service Management·2024· 5 citedOpen Access
Security Automation in next-generation Networks and Cloud environments
2024· 2 cited
Automatic and optimized firewall reconfiguration
2024· 6 cited
Formal Verification of the FDO Protocol
2023
Explicit Host-to-Network Flow Measurements Techniques
2023· 3 cited
Automation for Network Security Configuration: State of the Art and Research Trends
ACM Computing Surveys·2023· 49 citedOpen Access
Introduction to Formal Methods for the Analysis and Design of Cryptographic Protocols
2023
Formal Verification of a V2X Privacy Preserving Scheme Using Proverif
2023· 4 cited
Towards Security Automation in Virtual Networks
2023· 1 cited
Security automation for multi-cluster orchestration in Kubernetes
2023· 7 cited
page 1 of 9Next →

Frequent Co-authors

Guido Marchetto(17), Fulvio Valenza(13), Jalolliddin Yusupov(9), Adriano Valenzano(8), Daniele Bringhenti(8), A. Pironti(7), Davide Pozza(7), Fulvio Risso(6), Luca Durante(6), Radu Iosif(4), Paolo Maggi(4), Matteo Avalle(4), Matteo Virgilio(4), Serena Spinoso(4), Claudio Giovanni Demartini(3), Marco Iorio(3), Massimo Reineri(3), Manuel Cheminod(3), L. Ciminiera(2), Ivan Cibrario Bertolotti(2)