• Discovering Application-level Insider Attacks Using Symbolic Execution

    standard
  • An End-to-end Approach for the Automatic Derivation of Application-aware Error Detectors

    standard
  • Detecting and Tolerating Asymmetric Races

    standard
  • Automated Derivation of Application-aware Error and Attack Detectors

    standard
  • CCC workshop invited talk

    standard
  • Automated Derivation of Application-aware Error Detectors using Static Analysis: The Trusted Illiac Approach

    standard