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
vxunderground
The largest collection of malware source code, samples, and papers on the internet.
International