Arunesh Sinha

I am a graduate student in the Department of ECE at Carnegie Mellon University. My advisor is Anupam Datta. My primary research project is to develop models, algorithms, and computer systems to support principled audits. Audits complement access control in enforcement of security and privacy policies. It is the primary tool for enforcement of policies in scenarios where security and privacy threats arise from authorized insiders. In fact, many US privacy laws (e.g., HIPAA in healthcare, GLBA in financial sector) mandate that audits be conducted to ensure that personal information of customers are disclosed and used only under explicit operational conditions laid out in the laws. However, current commercial audit tools rely on heuristics that cannot detect large classes of violations; nor do they make the best use of the limited audit budget in organizations. Thus, there is a pressing need to develop appropriate mathematical models to study the process of auditing and algorithms and computer systems to aid with auditing. The mathematical tools used in this work are related to the area of game theory and machine learning.

I am also involved in a project on generalizing constructions and proofs in symmetric key cryptography, and another project about accountability in protocols.

I got my undergrad degree from IIT, Kharagpur in 2004. There I worked with Prof T.K.Basu on Signal Processing

I worked for four years (2004 - 2008) in Trilogy India (Bangalore) as a software developer, mainly doing web-application development using Java.

My resume (02/02/13) -> PDF

Publications