The Galois “Robust, Assured Diversity for Software Systems” (RADSS) Project, funded by the DARPA Cyber Fault-tolerant Attack Recovery (CFAR) program, aims to automatically provide hardened software defenses and detect intrusions as they happen in both current and legacy systems, without requiring vendor cooperation.
Hi, I’m Ben
I do applied research in program analysis and cybersecurity. This is my personal homepage where I link some of the public projects and papers I’ve been involved in. Opinions are my own. Email me at: hello@thebendavis.net
Retroskeleton: Automatic Android App Bytecode Rewriting
Do you know what your apps are doing? RetroSkeleton is a flexible Android app bytecode rewriting framework that empowers users to observe and control the functionality of the third-party apps.
Privacy-Preserving Alibis for Mobile Device Users
How can we use our mobile devices to show where we’ve been without letting anyone track us?
DBT: Cross-Application Information Flow Tracking via Databases
How can we prevent web services from using untrusted content in unsafe ways? DBTaint (DBT) provides dynamic, end-to-end information flow tracking through entire web services and databases to prevent code injection and related attacks.