Lucas Davi
3 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper introduces SseRex, a novel symbolic execution framework designed to detect unique and complex vulnerabilities in Solana smart contracts, significantly outperforming existing tools.
The paper proposes HammerWatch, a novel remote attestation protocol that enables external verifiers to detect hardware-induced disturbances, specifically Rowhammer-like attacks, by analyzing memory-level evidence.
Walma is a machine learning framework that uses memory snapshot classification to detect memory corruption and external tampering in WebAssembly, demonstrating practical feasibility with low overhead.
Papers
Towards Remote Attestation of Microarchitectural Attacks: The Case of Rowhammer
The paper proposes HammerWatch, a novel remote attestation protocol that enables external verifiers to detect hardware-induced disturbances, specifically Rowhammer-like attacks, by analyzing memory-le…