Ben Wiedermann

Latest

• JSAI: A static analysis platform for JavaScript
• Widening for Control Flow
• Type Refinement for Static Analysis of JavaScript
• Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach