Divya Sharma 



Ph.D Candidate                                                                           

Electrical and Computer Engineering
Carnegie Mellon University


I'm a graduate student in Electrical and Computer Engineering at Carnegie Mellon University.  My advisor is Anupam Datta. I’m currently working on a formal definition of accountability (blame-assignment) for protocols, using causality and audit logs.  I’m working on defining Actual cause in an interacting program model.

 

My research interests include data privacy, computer security, causality, protocol analysis, logic, and usability. 

 


ACADEMIC BACKGROUND

Bachelor of Engineering, Electronics and Electrical Communication at PEC University of Technology, Chandigarh, India in May 2009. 

CGPA: 9.76/10.00 (scale of 10; A+ = A = 10), with Honors

 

 

RESEARCH EXPERIENCE

Graduate Research Assistant, Carnegie Mellon University (Aug 2009 – Present)

Currently working on defining actual causation in an interacting program model.

 

Previous projects:

Proved theoretical guarantees about de-anonymization of records in ‘anonymized’ datasets. 

 

Analyzed the privacy implications of making court records available online, evaluating the impact of introduction of new technology on individual privacy. 

 

Conducted user studies to evaluate the level of privacy protection provided by removal of ‘Search by name’ feature in Allegheny County property assessment database.

Helped propose a system for allowing credential issuers to constrain credential use.

 

Guest Researcher, ETH Zurich (Feb – Jul 2008)

Completed a semester thesis working with Prof. Bernhard Plattner in Computer Engineering and Networks Laboratory, D-ITET, ETH Zurich on 'Security of Field Based Routing' that required securing the field based anycast routing protocol for use in ad hoc networks.  Thesis report is available here.


Summer Intern, Indian Institute of Technology Bombay (Jun – Jul 2007)

Worked in the field of wireless communication working with Prof. Abhay Karandikar. We worked on 'Performance Evaluation of O-DRR scheduler in the presence of TCP sources in WiMAX' that required simulating the TCP sources in O-DRR multiclass environment. 


PUBLICATIONS

Provable De-anonymization of Large Datasets with Sparse Dimensions.
With Anupam Datta and Arunesh Sinha. In Proceedings of ETAPS Conference on Principles of Security and Trust, March 2012.

Sustaining both Privacy and Open Justice in the Transition from Local to Online Access to Court Records: A Multidisciplinary Inquiry.
With Amanda Conley, Anupam Datta and Helen Nissenbaum. 71 Md. L. Rev. (forthcoming 2012).

I Know Where You Live: Analyzing Privacy Protection in Public Databases.
With Manya Sleeper and Lorrie Faith Cranor. Workshop on Privacy in the Electronic Society (WPES), October 2011.

The Obligation of Courts to Post Records Online-A Multidisciplinary Study. With Amanda Conley, Anupam Datta and Helen Nissenbaum.
Privacy Law Scholars Conference,
June 2011.

Constraining Credential Usage in Logic-based Access Control.
With Lujo Bauer and Limin Jia. In Proceedings of the 23rd IEEE Computer Security Foundations Symposium (CSF), July 2010.

 

 

WORKING PAPER
Actual Causes of Security Violations.

With Anupam Datta, Dilsun Kaynar and Arunesh Sinha.

 


WORKSHOPS

Privacy Challenges in Patient-Centric Health Information Systems.
With Anupam Datta, Carnegie Mellon University; Nipun Dave and John Mitchell, Stanford University and Helen Nissenbaum, New York University. Position paper in 1st USENIX Workshop on Health Security and Privacy (HealthSec'10), August 2010.

 


TECHNICAL REPORTS
I Know Where You Live: Analyzing Privacy Protection in Public Databases.
With Manya Sleeper and Lorrie Faith Cranor. Technical report CMU-CyLab-11-015.

 

 

TEACHING EXPERIENCE
Teaching Assistant - Foundations of Security and Privacy (graduate level)

Carnegie Mellon University (Aug- Dec 2011)

Designed and graded homework assignments and exams. Assisted students with final course projects. Presented a lecture.

 


Teaching Assistant – Secure Software Systems (graduate level)

Carnegie Mellon University (Jan- May 2013)

Ongoing.



RESEARCH POSTERS 

Defining Accountability using Causation and Evidence. Presented at IEEE Symposium on Security and Privacy, May 2012.

Defining Accountability using Causation and Evidence. Presented at Graduate Cohort Workshop, organized by CRA-W. April 2012

Privacy Threats from Linked Information Retrieval.
Presented at Cylab Partners’ Conference (Carnegie Mellon University). September 2011

I Know Where You Live: Analyzing Privacy Protection in Public Databases. Presented at Graduate Cohort Workshop, organized by CRA-W. April 2011

 


CONTACT

4720 Forbes Avenue

CIC Building, Cylab, 2314D

Carnegie Mellon University

Pittsburgh, PA 15213

divyasharma AT cmu DOT edu