Alwen Tiu's repositories
COVIDSafe-CVE-2020-12856
A bluetooth-related vulnerability in some contact tracing apps
btmgmt-alt
A modified version of BlueZ's btmgmt tool.
abella
Various formal proofs done in Abella theorem prover
afl-training
Exercises to learn how to fuzz with American Fuzzy Lop
airtag-dump
Utility to glitch and dump an AirTag
AppleNeuralHash2ONNX
Convert Apple NeuralHash model for CSAM Detection to ONNX.
bibifi-code
Source code for the Build-it Break-it Fix-it competition's infrastructure.
bluez-alt
Main BlueZ tree
covidsafescan
A simple scanner for COVIDSafe app.
CVE-2020-14292
Details of CVE-2020-14292
e9afl
AFL binary instrumentation
fuzzware
Fuzzware's main repository. Start here to install.
mobile-android
COVIDSafe android app
neural-hash-collider
Preimage attack against NeuralHash 💣
openhaystack
Build your own 'AirTags' 🏷 today! Framework for tracking personal Bluetooth devices via Apple's massive Find My network.
ostep-code
Code from various chapters in OSTEP (http://www.ostep.org)
pwntools-tutorial
Tutorials for getting started with Pwntools
pypush
Cross-platform iMessage POC
Samsung-SmartTag-Hack
Samsung SmartTag Teardown and firmware dump through Fault Injection Attack
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
tsschecker
a powerfull tool to check tss signing status of various devices and firmwares
z3
The Z3 Theorem Prover