Ben Hardekopf

Latest

• A Parallel Abstract Interpreter for JavaScript
• JSAI: A static analysis platform for JavaScript
• Sapper: A Language for Hardware-Level Security Policy Enforcement
• Security Signature Inference for JavaScript-based Browser Addons
• Widening for Control Flow
• Sapper: a Language for Provable Hardware Policy Enforcement
• Type Refinement for Static Analysis of JavaScript
• Caisson: a Hardware Description Language for Secure Information Flow
• Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach