LFVeri: Network Configuration Verification for Virtual Private Cloud Networks

K Wang, C Zhao, J Chu, Y Shi, J Lu… - IEEE/ACM …, 2024 - ieeexplore.ieee.org
The Virtual Private Cloud (VPC) service enables users to configure shared resources within
public clouds on demand, providing isolation between users. However, configuring the VPC …

[PDF][PDF] AGONI: Adversarial Generation Of Network Intrusions

W Thomas - repository.tudelft.nl
In an era where network security plays an important role in safeguarding sensitive
information and critical systems, the development of effective Network Intrusion Detection …