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
Stars
6
stars
written in C++
Clear filter
Matter (formerly Project CHIP) creates more connections between more objects, simplifying development for manufacturers and increasing compatibility for consumers, guided by the Connectivity Standa…
LIEF - Library to Instrument Executable Formats (C++, Python, Rust)
A security focused static analysis tool for Android and Java applications.
oxen-io / oxen-core
Forked from monero-project/moneroOxen core repository, containing oxend and oxen cli wallets