Research Institute in Automated Program Analysis and Verification UK's Second Academic Research Institute in Cyber Security
  • Home
  • News
  • Projects
    • App Guarden: Resilient Application Stores
      [University of Edinburgh]
    • Certified Verification of Client-Side Web Programs
      [Imperial College London]
    • Compositional Security Analysis for Binaries
      [Queen Mary University of London, University of Kent and University College London]
    • Program Verification Techniques for Understanding Security Properties of Software
      [University College London]
    • REVES: REasoning in VErification and Security
      [The University of Manchester]
    • SeMaMatch: Semantic Malware Matching
      [University of Kent and University College London]
  • People
  • Advisory Board
  • Events
  • Contact us
Loading Events
  • Home
  • Events
  • Verified Trustworthy Software Systems

« All Events