Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
UQ Cyber Research Centre
Home
About
About
Message from the Director
Our people
Extra curricular student societies
News
Media activity
Facilities
Research
Research
Research topics
Research projects
Seed funding program
Study
Study
Bachelor of Computer Science (Cyber Security)
Graduate Certificate in Cyber Security
Graduate Diploma in Cyber Security
Master of Cyber Security
HDR Scholarships
Cyber Security Internship Program
Executive education
Partnership
Partnership
Members
Partners
Global Initiatives
Events
Contact
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ Cyber Research Centre
Menu
Home
About
Show About sub-navigation
Message from the Director
Our people
Extra curricular student societies
News
Media activity
Facilities
Research
Show Research sub-navigation
Research topics
Research projects
Seed funding program
Study
Show Study sub-navigation
Bachelor of Computer Science (Cyber Security)
Graduate Certificate in Cyber Security
Graduate Diploma in Cyber Security
Master of Cyber Security
HDR Scholarships
Cyber Security Internship Program
Executive education
Partnership
Show Partnership sub-navigation
Members
Partners
Global Initiatives
Events
Contact
Mr Harrison Van Roy
Featured projects
Duration
BASIL: Boogie Analysis for Secure Information-Flow Logics
2022
–
2024
