|Description:||Speaker: Dr. Paddy Krishnan
Time: Thursday, 12 January 2017, 3:00pm
Venue: Conference Room, C Block, 01st Floor, Dept. of CSE, Kanwal Rekhi (KReSIT) Bldg.
In this presentation I will first outline the standard declarative approach using the DOOP framework to program analysis as applied to security analysis. Unfortunately, the standard approach does not scale to systems that are of interest. We show how a demand-driven, staged approach yields desired results. We assume that a client queries the points-to information for some program variables. The novelty of our approach is a pre-analysis technique that is a combination of staged points-to analyses with program slicing and program compaction. Our points-to framework scales for code bases with millions of program variables and hundreds of thousands of methods.
Paddy Krishnan is a Consulting Researcher at Oracle Labs, Australia where he is the research lead for the Java Vulnerability Detection project. His research interests are scalable static analysis for object-oriented languages and security modelling. Prior to joining Oracle Labs, he was an academic at various organisations and also held visiting positions in industry. He has a BTech from IIT-Kanpur and MS and PhD from the University of Michigan, Ann Arbor.
Oracle Labs, Australia
Prof. Uday Khedkar
|Date:||Thursday, 12 January, 2017|
|Created by:||Department Calendar|
|Updated:||Monday, 16 July, 2018 12:45pm IST|
|Send Reminder:||Yes - 70 hours 22 minutes before start|
<firstname.lastname@example.org> (External User)
<email@example.com> (External User)
_NUC_department <firstname.lastname@example.org> (External User)