I am an academic at the School of Computing, The Australian National University. Interested in logic, formal verification and computer security.
-
The Australian National University
- Canberra, Australia
Popular repositories Loading
-
COVIDSafe-CVE-2020-12856
COVIDSafe-CVE-2020-12856 PublicA bluetooth-related vulnerability in some contact tracing apps
-
-
-
AirGuard
AirGuard PublicForked from seemoo-lab/AirGuard
Protect yourself from being tracked 🌍 by AirTags 🏷 and Find My accessories 📍
Kotlin 1
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.