3 papers
cs.SE2024
Beyond Random Inputs: A Novel ML-Based Hardware Fuzzing
Mohamadreza Rostami, Marco Chilese, Shaza Zeitouni +3
Modern computing systems heavily rely on hardware as the root of trust. However, their increasing complexity has given rise to security-critical vulnerabilities that cross-layer at…
cs.CR2024
One for All and All for One: GNN-based Control-Flow Attestation for Embedded Devices
Marco Chilese, Richard Mitev, Meni Orenbach +3
Control-Flow Attestation (CFA) is a security service that allows an entity (verifier) to verify the integrity of code execution on a remote computer system (prover). Existing CFA s…
cs.CR2023
Don't Shoot the Messenger: Localization Prevention of Satellite Internet Users
David Koisser, Richard Mitev, Marco Chilese +1
Satellite Internet plays an increasingly important role in geopolitical conflicts. This notion was affirmed in the Ukrainian conflict escalating at the beginning of 2022, with the…