These projects are no longer active – please contact me if you want more details about these.
- Compiler-based methods to derive error and attack detectors (CVR/IFS)
- Formal methods to find errors/attacks in applications (SymPLFIED/SymPLAID)
- Reconfigurable hardware systems for runtime checking (Trusted Illiac)
- Critical data protection from memory corruption errors (Samurai/Flicker)
- Detection and toleration of asymmetric races (ToleRace)