Talk: Tolerating Silent Data Corruption (SDC) causing Hardware Faults Through Software Techniques
Talk: Model-based Intrusion Detection System (IDS) for Smart Meters
Talk: Why do Web Applications Fail and what can we do about it ?
Talk: Good Enough Systems: Tolerating (most) hardware errors using software
Talk – Good Enough Computer Systems: Reliability on the Cheap
Talk: Formal methods for Fault and Attack Injection in Applications
CCC workshop invited talk