logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Riccardo Sisto

Polytechnic University of Turin

24H-index
173Paper Count
2.1KCitation Count
Published Papers 27
Publication Date
logo
Toward Correctness by Construction for Network Security Configuration
errMOBILE INTERNET SECURITY, MOBISEC 2024
IF0
err2026-01-01
err0
PREAI
errBringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
Intent-Driven Network Isolation for the Cloud Computing Continuum
errJournal of Network and Systems Management
IF3.9
err2025-10-17
err0
errOAAI
errFrancesco Pizzato; Daniele Bringhenti; Riccardo Sisto; Fulvio Valenza
errShare
errSave
Formal verification of a V2X scheme mixing traditional PKI and group signatures
errJOURNAL OF INFORMATION SECURITY AND APPLICATIONS
IF3.7
err2025-03-01
err0
errOAAI
errBussa, Simone; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
Automating VPN Configuration in Computer Networks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2025-01-01
err0
errOAAI
errBringhenti, Daniele; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
Automation for Network Security Configuration: State of the Art and Research Trends
errACM COMPUTING SURVEYS
IF28
err2023-10-05
err11
errOAAI
errBringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
Automated Firewall Configuration in Virtual Networks
errIEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING
IF7.5
err2023-03-01
err21
errOAAI
errBringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
errShare
errSave
A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2021-02-01
err9
PREAI
errMarchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin; Ksentini, Adlen
errShare
errSave
Securing SOME/IP for In-Vehicle Service Protection
errIEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY
IF7.1
err2020-11-01
err27
PREAI
errIorio, Marco; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
Protecting In-Vehicle Services: Security-Enabled SOME/IP Middleware
errIEEE VEHICULAR TECHNOLOGY MAGAZINE
IF7.2
err2020-09-01
err18
PREAI
errIorio, Marco; Buttiglieri, Alberto; Reineri, Massimo; Risso, Fulvio; Sisto, Riccardo; Valenza, Fulvio
errShare
errSave
(User-friendly) formal requirements verification in the context of ISO26262
errENGINEERING SCIENCE AND TECHNOLOGY-AN INTERNATIONAL JOURNAL-JESTECH
IF5.4
err2020-06-01
err3
errOAAI
errMakartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto
errShare
errSave
Multipoint Passive Monitoring in Packet Networks
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2019-12-01
err10
PREAI
errCociglio, Mauro; Fioccola, Giuseppe; Marchetto, Guido; Sapio, Amedeo; Sisto, Riccardo
errShare
errSave
Formally specifying and checking policies and anomalies in service function chaining
errJOURNAL OF NETWORK AND COMPUTER APPLICATIONS
IF8
err2019-11-01
err14
errOAAI
errValenza, Fulvio; Spinoso, Serena; Sisto, Riccardo
errShare
errSave
A Framework for Verification-Oriented User-Friendly Network Function Modeling
errIEEE ACCESS
IF3.6
err2019-01-01
err5
errOAAI
errMarchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin
errShare
errSave
An efficient data exchange mechanism for chained network functions
errJOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
IF4
err2018-04-01
err1
errOAAI
errCerrato, Ivan; Marchetto, Guido; Risso, Fulvio; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto
errShare
errSave
Seamless Configuration of Virtual Network Functions in Data Center Provider Networks
errJOURNAL OF NETWORK AND SYSTEMS MANAGEMENT
IF3.9
err2017-06-10
err3
PREAI
errSpinoso, Serena; Leogrande, Marco; Risso, Fulvio; Singh, Sushil; Sisto, Riccardo
errShare
errSave
Formal verification of LTE-UMTS and LTE-LTE handover procedures
errCOMPUTER STANDARDS & INTERFACES
IF3.1
err2017-02-01
err13
errOAAI
errCopet, Piergiuseppe Bettassa; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
errShare
errSave
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2016-06-01
err16
errOAAI
errAvalle, Matteo; Risso, Fulvio; Sisto, Riccardo
errShare
errSave
Formally based semi-automatic implementation of an open security protocol
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2012-04-01
err9
errOAAI
errPironti, Alfredo; Pozza, Davide; Sisto, Riccardo
errShare
errSave
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2011-02-01
err32
errOAAI
errCheminod, Manuel; Pironti, Alfredo; Sisto, Riccardo
errShare
errSave
SPAF: Stateless FSA-Based Packet Filters
errIEEE-ACM TRANSACTIONS ON NETWORKING
IF3.6
err2011-02-01
err6
errOAAI
errRolando, Pierluigi; Sisto, Riccardo; Risso, Fulvio
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Adlen Ksentini
H-index: 49 · Papers: 354
P
Paolo Maggi
H-index: 39 · Papers: 287
P
Paolo Denti
H-index: 36 · Papers: 243
A
A. Pironti
H-index: 31 · Papers: 264
S
Sushil Kumar Singh
H-index: 30 · Papers: 90
View more