Caroline Tice

Publication Activity (10 Years)

Years Active: 1998-2014
Publications (10 Years): 0

Top Topics

Software Testing

Reactive Systems

Business Process Models

Formal Semantics

Top Venues

USENIX Security Symposium

Publications

Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, Úlfar Erlingsson, Luis Lozano, Geoff Pike
Enforcing Forward-Edge Control-Flow Integrity in GCC & LLVM. USENIX Security Symposium (2014)
Caroline Tice, Susan L. Graham
A Practical, Robust Method for Generating Variable Range Tables. CC (2001)
Caroline Tice, Susan L. Graham
OPTVIEW: A New Approach for Examining Optimized Code. PASTE (1998)