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 view.
There are no upcoming events.
There are no upcoming events.
Events Search and Views Navigation
Search
Enter Keyword. Search for Events by Keyword.
Find Events
Event Views Navigation
List
Month
Today
Upcoming
Upcoming
Select date.
Previous
Events
Today
Next
Events
Subscribe to calendar
Google Calendar
iCalendar
Outlook 365
Outlook Live
Export .ics file
Export Outlook .ics file