Publications

(2024). Securing an Application Layer Gateway: An Industrial Case Study. In EDCC2024.

PDF Cite

(2023). IRIS: a Record and Replay Framework to Enable Hardware-assisted Virtualization Fuzzing. In DSN2023.

PDF Cite Code DOI

(2022). Towards Assessing Isolation Properties in Partitioning Hypervisors. In ISSREW-2022.

PDF Cite DOI