Ben HardekopfAssistant Professor
|
|
Select Publications
| String Abstractions for String
Verification Fang Yu, Tevfik Bultan, and Ben Hardekopf International SPIN Workshop on Model Checking of Software (SPIN), 2011 |
|
| Caisson: a Hardware Description Language for Secure
Information Flow Xun Li, Mohit Tiwari, Jason K. Oberg, Vineeth Kashyap, Fred Chong, Tim Sherwood, and Ben Hardekopf ACM Conference on Programming Language Design and Implementation (PLDI), 2011 |
|
| Timing- and Termination-Sensitive Secure Information
Flow: Exploring a New Approach Vineeth Kashyap, Ben Wiedermann, and Ben Hardekopf IEEE Security and Privacy (S&P), 2011 |
|
| Crafting a Usable Microkernel, Processor, and I/O
System with Strict and Provable Information Flow
Security Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy Levin, Ben Hardekopf, Frederic T Chong, Ryan Kastner, and Timothy Sherwood International Symposium of Computer Architecture (ISCA), 2011 |
|
| Flow-Sensitive Pointer Analysis for Millions of Lines
of Code Ben Hardekopf and Calvin Lin Symposium on Code Generation and Optimization (CGO), 2011 [Best Paper Award] |
|
| Secure Information Flow Analysis for
Hardware Design Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, and Frederic T Chong Workshop on Programming Languages and Analysis for Security (PLAS), 2010 |
|
| Semi-Sparse Flow-Sensitive Pointer
Analysis Ben Hardekopf and Calvin Lin Symposium on Principles of Programming Languages (POPL), 2009 |
|
| Exploiting Pointer and Location
Equivalence to Optimize Pointer
Analysis Ben Hardekopf and Calvin Lin International Static Analysis Symposium (SAS), 2007 |
|
| The Ant and the Grasshopper: Fast and
Accurate Pointer Analysis for Millions of Lines of
Code Ben Hardekopf and Calvin Lin ACM Conference on Programming Language Design and Implementation (PLDI), 2007 [Best Paper Award] [Best Presentation Award] |