Deepak Goel       Masters Student       Advisor: Mike Dahlin       Laboratory for Advanced Systems Research       Department of Computer Science       University of Texas at Austin       Email: firstname at cs dot utexas dot edu

Computer Systems, Networks and Security

• πBox: A framework to prevent malicious phone apps from leaking a user’s private data
  
  
• MinVisor: A formally verifiable hypervisor
  
  

• πBox: A Platform for Privacy-Preserving Apps   [pdf]
  Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin , and Vitaly Shmatikov
  In Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2013
  
  
• Building a Hypervisor on a Formally Verified Protection Layer   [pdf]
  Michael McCoyd, Robert Krug, Deepak Goel, Mike Dahlin , and William Young
  Hawaii International Conference on System Sciences (HICSS), 2013
  
  
• RATING: Rigorous Assessment of Trust in Identity Management   [pdf]
  Raja Sampath, Deepak Goel
  International Conference on Availability, Reliability and Security (ARES), 2006
  
  
• Economizing ISP Interconnections at Internet Exchange Points
  Jorn Altmann , Deepak Goel
  Journal of Integrated Design & Process Science, April 2006
  
  

• πBox: A Platform for Privacy-Preserving Apps   [pdf]
  Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin , and Vitaly Shmatikov
  Technical Report, TR-2101, The University of Texas at Austin, Department of Computer Science, October-2012
  
  

• Jana: Platform Protection for User Privacy
  Sangmin Lee, Edmund L. Wong, Deepak Goel, Mike Dahlin, and Vitaly Shmatikov
  In poster session of 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2012
  
  
• Building a Hypervisor on a Formally Verified Protection Layer
  Michael McCoyd, Robert Krug, Deepak Goel, Mike Dahlin, William Young
  In poster session of 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2012
  
  

• VMware Inc., Palo Alto, CA (May 2012 - August 2012)
  Intern as Member Technical Staff
  
  
• Citrix R&D India Pvt. Ltd., Bangalore, India (July 2005 - July 2011)
  Architect, Developer
  
  

• Systems and methods for a para-virtualized driver in a mulit-core virtual packet engine device
  Deepak Goel
  App No 61/371309, pending since Aug 2010
  
  
• Systems and methods for providing a virtual appliance in an application delivery fabric
  Rajiv Mirani, Abhishek Chauhan, Tom Goodwin, Deepak Goel, Frank Suchomel
  App No 61/371309, pending since Aug 2010
  
  
• Systems and methods for link load balancing on a multi-core device
  Deepak Goel, Jyotheesh Kurma
  App No. 61/317776, pending since March 2010
  
  
• Systems and methods for retaining source ip in a load balancing mutli-core environment
  Deepak Goel
  App No. 12/489165, pending since June 2009
  
  
• Systems and methods for handling lower level protocols in a multi-device
  Deepak Goel, Jyotheesh Kurma, Sandhya Gopinath
  App No. 61/219275, pending since June 2009
  
  
• Systems and methods for identifying a processor from a plurality of processors to provide symmetrical request and response processing
  Deepak Goel, Jyotheesh Kurma, Sandhya Gopinath
  App No. 12/489180, pending since June 2009
  
  

• CS 380D Distributed Computing I ( Lorenzo Alvisi)
  
• CS 380P Parallel Systems (Calvin Lin)
  
• CS 380C Compilers (Calvin Lin)
  
• CS 391L Machine Learning (Dana Ballard)
  
• EE 380L Data Mining (Joydeep Ghosh)
  
• CS 380S Theory and Practice of Secure Systems (Vitaly Shmatikov)
  
• CS 388H Cryptography (Brent Waters)
  
• EE380L: 5-Engineering Programming Languages (Craig Chase)