Abhishek Bichhawat

Abhishek Bichhawat

M.Tech.

Contact

Tel
+49 681 302-71946
Fax
+49 681 302-5483
Mail
Room
2.10
Address
CISPA
Campus E9.1
66123 Saarbr├╝cken
Germany
Office hours

Research Interests

Language-based security, Information flow control, Program analysis, Distributed computing

Projects

Publications

Information Flow Control for Event Handling and the DOM in Web Browsers, [PDF | Full Version]
In Proc. 28th IEEE Computer Security Foundations Symposium (CSF '15), pp. 366-379, 2015
along with Vineet Rajani, Deepak Garg and Christian Hammer
OCaml Model of the DOM with IFC checks is available here (15 KB tgz)

Post-Dominator Analysis for Precisely Handling Implicit Flows, [Extended Abstract]
In Companion Proceedings of the 37th International Conference on Software Engineering (ICSE Companion 2015), 2015

Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis, [PDF | Full Version*]
In Proc. ACM 9th Workshop on Programming Languages and Analysis for Security (PLAS), pp. 15-24, 2014
along with Vineet Rajani, Deepak Garg and Christian Hammer
*The paper has been updated from the original version

Exception Handling for Dynamic Information Flow Control, [Extended Abstract]
In Companion Proceedings of the 36th International Conference on Software Engineering (ICSE Companion 2014), pp. 718-720, 2014
Won the second prize at the ACM SIGSOFT Student Research Competition at ICSE 2014

Information Flow Control in WebKit's JavaScript Bytecode, [PDF | Extended Version]
In Proc. 3rd Conference on Principles of Security and Trust, LNCS, vol. 8414, pp. 159-178, 2014
along with Vineet Rajani, Deepak Garg and Christian Hammer

Security Architecture for Virtual Machines, [PDF]
In 11th International Conference on Algorithms and Architectures for Parallel Processing, LNCS, vol. 7016, pp. 218-229, 2011
along with Udaya Tupakula and Vijay Varadharajan

Proactive Fault Tolerance Technique for a Mobile Grid Environment, [PDF]
In Proc. 1st IEEE-MOTS International Conference on Advances in Computing and Communication, pp. 96-101, 2011
along with R. C. Joshi

A Survey on Issues in Mobile Grid Computing, [PDF]
In International Journal of Recent Trends in Engineering and Technology, vol. 4(2), pp. 15-19, 2010
along with R. C. Joshi

Education

Positions Held

Feb 2014 - Apr 2014, Sep 2014:
Research Intern at Microsoft Research India, Bangalore, India

Aug 2011 - Nov 2012:
Member Technical Staff at Oracle India Pvt. Ltd., Bangalore

Apr 2011 - Jun 2011:
Visiting Scholar at Macquarie University, Sydney, Australia

Jan 2009 - May 2009:
Intern at Infosys Technologies Ltd., Mysore, India

Teaching

Summer Term 2015

Summer Term 2014

Summer Term 2013

Links

IMPRS homepage

Sui Generis-my blog