• Talk: Tolerating Silent Data Corruption (SDC) causing Hardware Faults Through Software Techniques

    standard
  • Talk: Model-based Intrusion Detection System (IDS) for Smart Meters

    standard
  • Talk: Why do Web Applications Fail and what can we do about it ?

    standard
  • Talk: Good Enough Systems: Tolerating (most) hardware errors using software

    standard
  • Talk – Good Enough Computer Systems: Reliability on the Cheap

    standard
  • Talk: Formal methods for Fault and Attack Injection in Applications

    standard
  • CCC workshop invited talk

    standard