Name: Alwen Tiu
Type: User
Company: The Australian National University
Bio: I am an academic at the School of Computing, The Australian National University. Interested in logic, formal verification and computer security.
Location: Canberra, Australia
abella
Various formal proofs done in Abella theorem prover
afl-training
Exercises to learn how to fuzz with American Fuzzy Lop
airguard
Protect yourself from being tracked 🌍 by AirTags 🏷 and Find My accessories 📍
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
btmgmt-alt
A modified version of BlueZ's btmgmt tool.
contact-tracing-android
contact-tracing-research
covidsafe-cve-2020-12856
A bluetooth-related vulnerability in some contact tracing apps
covidsafescan
A simple scanner for COVIDSafe app.
cve-2020-14292
Details of CVE-2020-14292
e9afl
AFL binary instrumentation
exposure_notification
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)
ostep-slides
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
svm
Scope VM: Javascript Virtual Machine
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
wheres-crypto
z3
The Z3 Theorem Prover
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
