3 papers
cs.CR2026
It's a Feature, Not a Bug: Secure and Auditable State Rollback for Confidential Cloud Applications
Quinn Burke, Anjo Vahldiek-Oberwagner, Michael Swift +1
Replay and rollback attacks threaten cloud application integrity by reintroducing authentic yet stale data through an untrusted storage interface to compromise application decision…
cs.CR2025
LibIHT: A Hardware-Based Approach to Efficient and Evasion-Resistant Dynamic Binary Analysis
Changyu Zhao, Yohan Beugin, Jean-Charles Noirot Ferrand +3
Dynamic program analysis is invaluable for malware detection, debugging, and performance profiling. However, software-based instrumentation incurs high overhead and can be evaded b…
cs.CR2025
Efficient Storage Integrity in Adversarial Settings
Quinn Burke, Ryan Sheatsley, Yohan Beugin +4
Storage integrity is essential to systems and applications that use untrusted storage (e.g., public clouds, end-user devices). However, known methods for achieving storage integrit…