Review
Toward Correctness by Construction for Network Security Configuration
Daniele Bringhenti, Riccardo Sisto, Fulvio Valenza
· 0 citations
4 papers indexed here
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
Automated firewall configuration in virtual networks
A new methodology to automatically define the allocation scheme and configuration of packet filters in the logical topology of a virtual network is proposed, based on solving a carefully designed partial weighted Maximum Satisfiability Modulo Theories problem by means of a state of the art solver.
Daniele Bringhenti, Guido Marchetto, Riccardo Sisto et al.
· 37 citations
· ⚡28
Automatic, Verifiable and Optimized Policy-based Security Enforcement for SDN-aware IoT networks
A novel methodology which leverages Maximum Satisfiability Modulo Theories (MaxSMT) to automatically compute a formally correct and optimized allocation scheme and configuration of SDN switches by refining security policies, user-defined or derived from detected attacks is proposed.
Daniele Bringhenti, Jalolliddin Yusupov, A. M. Zarca et al.
· 3 citations
Comparative analysis of the environmental performance of delivery routes in the city center and peri-urban area
This demo presents a looping process that autonomously mitigates ongoing attacks by extracting security policies from intrusion detection system alerts and automatically reconfiguring distributed firewalls via a provably correct and optimized approach.
Francesco Pizzato, Daniele Bringhenti, Riccardo Sisto et al.
· 0 citations