Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
UQ Cyber
Home
About
About
Message from the Director
Our people
Extra curricular student societies
News
Media activity
Facilities
Research
Research
Interdisciplinary research areas
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
Executive education
Partnership
Events
Contact
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ Cyber
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
Interdisciplinary research areas
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
Executive education
Partnership
Events
Contact
Mr James Tobler
Featured projects
Duration
BASIL: Boogie Analysis for Secure Information-Flow Logics
2022
–
2024