A Framework for Verification-Oriented User-Friendly Network Function Modeling von Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Yusupov, Jalolliddin

Volltext

(User-friendly) formal requirements verification in the context of ISO26262 von Makartetskiy, Denis, Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Virgilio, Matteo, Leri, Denise, Denti, Paolo, Finizio, Roberto

Volltext

A novel abstraction for security configuration in virtual networks von Bringhenti, Daniele, Sisto, Riccardo, Valenza, Fulvio

Volltext

Automation for Network Security Configuration: State of the Art and Research Trends von Bringhenti, Daniele, Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio

Volltext

Automating VPN Configuration in Computer Networks von Bringhenti, Daniele, Sisto, Riccardo, Valenza, Fulvio

Volltext

Automated Firewall Configuration in Virtual Networks von Bringhenti, Daniele, Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Yusupov, Jalolliddin

Volltext

Formally specifying and checking policies and anomalies in service function chaining von Valenza, Fulvio, Spinoso, Serena, Sisto, Riccardo

Volltext

Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs von Avalle, Matteo, Risso, Fulvio, Sisto, Riccardo

Volltext

Atomizing Firewall Policies for Anomaly Analysis and Resolution von Bringhenti, Daniele, Bussa, Simone, Sisto, Riccardo, Valenza, Fulvio

Volltext

A Formal Approach to Verify Connectivity and Optimize VNF Placement in Industrial Networks von Marchetto, Guido, Sisto, Riccardo, Valenza, Fulvio, Yusupov, Jalolliddin, Ksentini, Adlen

Volltext

Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks von Bringhenti, Daniele, Yusupov, Jalolliddin, Zarca, Alejandro Molina, Valenza, Fulvio, Sisto, Riccardo, Bernabe, Jorge Bernal, Skarmeta, Antonio

Volltext

Multipoint Passive Monitoring in Packet Networks von Cociglio, Mauro, Fioccola, Giuseppe, Marchetto, Guido, Sapio, Amedeo, Sisto, Riccardo

Volltext

A Two-Fold Traffic Flow Model for Network Security Management von Bringhenti, Daniele, Bussa, Simone, Sisto, Riccardo, Valenza, Fulvio

Volltext

Autonomous Attack Mitigation Through Firewall Reconfiguration von Bringhenti, Daniele, Pizzato, Francesco, Sisto, Riccardo, Valenza, Fulvio

Volltext

Formal verification of security protocol implementations: a survey von Avalle, Matteo, Pironti, Alfredo, Sisto, Riccardo

Volltext

The long-term efficacy of the GraftRope technique von Motta, Pierorazio, Marra, Francesco, Maderni, Alberto, Vasario, Gabriele, Sisto, Riccardo, Jawahar, Mahesh, Mariotti, Umberto

Volltext

Improving the Formal Verification of Reachability Policies in Virtualized Networks von Bringhenti, Daniele, Marchetto, Guido, Sisto, Riccardo, Spinoso, Serena, Valenza, Fulvio, Yusupov, Jalolliddin

Volltext

Provably correct Java implementations of Spi Calculus security protocols specifications von Pironti, Alfredo, Sisto, Riccardo

Volltext

Formal verification of LTE-UMTS and LTE–LTE handover procedures von Copet, Piergiuseppe Bettassa, Marchetto, Guido, Sisto, Riccardo, Costa, Luciana

Volltext

Safe abstractions of data encodings in formal security protocol models von Pironti, Alfredo, Sisto, Riccardo

Volltext