Reconstructing program memory state from multi-gigabyte instruction traces to support interactive analysis.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013
Contemporary Peer Review in Action: Lessons from Open Source Development.
IEEE Softw., 2012
ATLANTIS - Assembly Trace Analysis Environment.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012
Source Code Verification Tools for Software Security Bugs.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006
Secure Self-certified Code for Java.
Proceedings of the Formal Aspects of Security, First International Conference, 2002
On the Implementation of a Stand-Alone Java(tm) Bytecode Verifier.
Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 2000