All Stories

  1. Vulnerability Repair via Concolic Execution and Code Mutations
  2. Timing Side-Channel Mitigation via Automated Program Repair
  3. APR Competition 2024
  4. Cerberus: a Program Repair Framework
  5. Trust enhancement issues in program repair
  6. Quantitative fuzzing for side-channel vulnerabilities
  7. Concolic program repair
  8. Hybrid differential software analysis with Fuzzing and Symbolic Execution