Paddy Krishnan is a Director Research at Oracle Labs in Brisbane, Australia. He has been with Oracle since Feb 2013. His current research interests are in the areas of software security, program analysis, and automatic test generation. At Oracle, Paddy has worked on detecting security vulnerabilities in the JDK, in Java-based web applications and in JavaScript-based client-side code. More recently he is exploring the expressive power of different models in the context of security monitoring. ...