We work on fundamental as well as practical aspects of security and privacy. In the area of security, we work in authorization logics and access control models, designing secure systems, and cryptographic protocols. In the area of privacy we work on designing practical privacy preserving advertisement systems, formally defining notions of privacy, as well as in designing algorithms that simultaneously provide functional value and guarantee privacy.
Active ongoing projects:
- Authorization and Access Control
- Access control for databases
- FPGA Hardware assisted security
- Noiseless Privacy
- Privacy preserving learning
- Privacy preserving mining
- Privacy preserving advertising
- Bimal Viswanath, Muhammad Ahmad Bashir, Muhammad Bilal Zafar, Simon Bouget, Saikat Guha, Krishna Gummadi, Aniket Kate, and Alan Mislove, Strength in Numbers: Robust Tamper Detection in Crowd Computations, in Proceedings of the ACM Conference on Online Social Networks (COSN), Palo Alto, CA, November 2015.
- Craig Costello, Cedric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, and Samee Zahur, Geppetto: Versatile Verifiable Computation, in Proceedings of the IEEE Symposium on Security and Privacy, IEEE – Institute of Electrical and Electronics Engineers, 18 May 2015.
- Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, and Vassilis Zikas, The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults, in Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015, ACM, January 2015.
- Paul Pearce, Vacha Dave, Chris Grier, Kirill Levchenko, Saikat Guha, Damon McCoy, Vern Paxson, Stefan Savage, and Geoffrey M. Voelker, Characterizing Large-Scale Click Fraud in ZeroAccess, in Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS), ACM – Association for Computing Machinery, 2 November 2014.
- Bimal Viswanath, Muhammad Ahmad Bashir, Mark Crovella, Saikat Guha, Krishna Gummadi, Balachander Krishnamurthy, and Alan Mislove, Towards Detecting Anomalous User Behavior in Online Social Networks, in Proceedings of the 23rd USENIX Security Symposium (USENIX Security), San Diego, CA, August 2014.
- Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, and Jeannette Wing, Bootstrapping Privacy Compliance in Big Data Systems, in Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland), San Jose, CA, May 2014.
- Nishanth Chandran, Bhavana Kanukurthi, and Rafail Ostrovsky, Locally Updatable and Locally Decodable Codes, in Theory of Cryptography - 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings, Springer, March 2014.
- Prabhanjan Ananth, Nishanth Chandran, Vipul Goyal, Bhavana Kanukurthi, and Rafail Ostrovsky, Achieving Privacy in Verifiable Computation with Multiple Servers - Without FHE and without Pre-processing, in Public-Key Cryptography - PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings, Springer, March 2014.
- Raghav Bhaskar, Saikat Guha, Srivatsan Laxman, and Prasad Naldurg, Verito: A Practical System for Transparency and Accountability in Virtual Economies, in Proceedings of the Network and Distributed Systems Security Symposium (NDSS), February 2013.
- Raghav Bhaskar, Ragesh Jaiswal, and Sidharth Telang, Congestion Lower Bounds for Secure In-network Aggregation, in ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec '12), ACM, April 2012.