I am a Post-Doctoral Researcher associated with Cylab at Carnegie Mellon University.
My mentor is Dr. Anupam Datta.
I received my Ph.D. from the Department of Computer Science at the University of Texas at San Antonio.
My Ph.D. advisors were Dr. Jianwei Niu and
Dr. William H. Winsborough (deceased).
Broadly, my research interest lies in the field of computer security and privacy,
specifically, enhancing access control models with the support of obligations and
I am particularly interested in
using formal verification and runtime monitoring techniques for developing efficient compliance checking
algorithms for federal privacy regulations like HIPAA (Health Insurance Portability and Accountability Act)
and Gramm-Leach-Bliley Act (GLBA).
Temporal Mode-Checking for Runtime Monitoring of Privacy Policies
Omar Chowdhury, Limin Jia, Deepak Garg, and Anupam Datta
Proceedings of 26th International Conference on Computer Aided Verification (CAV), July 2014
Privacy Promises That Can Be Kept: A Policy Analysis Method with Application to the HIPAA Privacy Rule
Omar Chowdhury, Andreas Gampe, Jianwei Niu, Jeffery von Ronne,
Jared Bennatt, Anupam Datta, Limin Jia, W. H. Winsborough
Proceedings of the 18th ACM symposium on Access control models and technologies, SACMAT 2013
On XACML's Adequacy to Specify and to Enforce HIPAA
Omar Chowdhury, Haining Chen, Jianwei Niu, Ninghui Li, and Elisa Bertino
Proceedings of the 3rd USENIX Workshop on Health Security and Privacy, 2012
Ensuring Authorization Privileges for Cascading User Obligations
Omar Chowdhury, Murillo Pontual, William H. Winsborough,Ting Yu, Keith Irwin and Jianwei Niu
Proceedings of the 17th ACM symposium on Access control models and technologies, SACMAT 2012
(Selected as the best paper of the conference)
The Privacy in the Time of the Internet: Secrecy vs Transparency
Murillo Pontual, Andreas Gampe, Omar Chowdhury, Bazoumana Kone, Md Shamim Ashik and William H. Winsborough
Proceedings of the second ACM conference on Data and Application Security and Privacy, CODASPY 2012
On the Management of User Obligations
Murillo Pontual, Omar Chowdhury, William H. Winsborough,Ting Yu and Keith Irwin
Proceedings of the 16th ACM symposium on Access control models and technologies, SACMAT 2011
(Nominee of the CSAW AT&T Best Paper Award)