Mahesh V. Tripunitara

Publication Activity (10 Years)

Years Active: 1999-2020
Publications (10 Years): 4

Top Topics

Provably Secure

Top Venues

IEEE Trans. Parallel Distributed Syst.

Publications

Mohamed El Massad, Siddharth Garg, Mahesh V. Tripunitara
The SAT Attack on IC Camouflaging: Impact and Potential Countermeasures. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (8) (2020)
Zhuanhao Wu, Hiren D. Patel, Manoj Sachdev, Mahesh V. Tripunitara
Strengthening PUFs using Composition. ICCAD (2019)
Mohamed El Massad, Jun Zhang, Siddharth Garg, Mahesh V. Tripunitara
Logic Locking for Secure Outsourced Chip Fabrication: A New Attack and Provably Secure Defense Mechanism. CoRR (2017)
Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara
Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). WOOT (2016)
Nima Mousavi, Mahesh V. Tripunitara
Hard Instances for Verification Problems in Access Control. SACMAT (2015)
Jonathan Shahen, Jianwei Niu, Mahesh V. Tripunitara
Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. SACMAT (2015)
Kadhim Hayawi, Alireza Mortezaei, Mahesh V. Tripunitara
The Limits of the Trade-Off Between Query-Anonymity and Communication-Cost in Wireless Sensor Networks. CODASPY (2015)
Mohamed El Massad, Siddharth Garg, Mahesh V. Tripunitara
Integrated Circuit (IC) Decamouflaging: Reverse Engineering Camouflaged ICs within Minutes. NDSS (2015)
Jeffrey Lok Tin Woo, Mahesh V. Tripunitara
Composing Kerberos and Multimedia Internet KEYing (MIKEY) for AuthenticatedTransport of Group Keys. IEEE Trans. Parallel Distributed Syst. 25 (4) (2014)
Mark S. Dittmer, Mahesh V. Tripunitara
The UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid. CCS (2014)
Ahmad Saif Ur Rehman, Augusto Born de Oliveira, Mahesh V. Tripunitara, Sebastian Fischmeister
The use of mTags for mandatory security: a case study. Softw. Pract. Exp. 44 (12) (2014)
Dan Wang, Aravindkumar Rajendiran, Sundaram Ananthanarayanan, Hiren D. Patel, Mahesh V. Tripunitara, Siddharth Garg
Reliable Computing with Ultra-Reduced Instruction Set Coprocessors. IEEE Micro 34 (6) (2014)
Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin
Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. ACM Trans. Inf. Syst. Secur. 15 (4) (2013)
Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri
Panel on granularity in access control. SACMAT (2013)
Alireza Sharifi, Paul Bottinelli, Mahesh V. Tripunitara
Property-testing real-world authorization systems. SACMAT (2013)
Frank Imeson, Ariq Emtenan, Siddharth Garg, Mahesh V. Tripunitara
Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation. USENIX Security Symposium (2013)
Alireza Sharifi, Mahesh V. Tripunitara
Least-restrictive enforcement of the Chinese wall security policy. SACMAT (2013)
Mahesh V. Tripunitara, Ninghui Li
The Foundational Work of Harrison-Ruzzo-Ullman Revisited. IEEE Trans. Dependable Secur. Comput. 10 (1) (2013)
Nima Mousavi, Mahesh V. Tripunitara
Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC). NSS (2012)
Aravindkumar Rajendiran, Sundaram Ananthanarayanan, Hiren D. Patel, Mahesh V. Tripunitara, Siddharth Garg
Reliable computing with ultra-reduced instruction set co-processors. DAC (2012)
Vivek Krishnan, Mahesh V. Tripunitara, Kinson Chik, Tony Bergstrom
Relating declarative semantics and usability in access control. SOUPS (2012)
Bogdan Carbunar, Mahesh V. Tripunitara
Payments for Outsourced Computations. IEEE Trans. Parallel Distributed Syst. 23 (2) (2012)
Sitaram Chamarty, Hiren D. Patel, Mahesh V. Tripunitara
An authorization scheme for version control systems. SACMAT (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
ARBAC Policy for a Large Multi-National Bank CoRR (2011)
Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin
Automatic error finding in access-control policies. CCS (2011)
Marko Komlenovic, Mahesh V. Tripunitara, Toufik Zitouni
An empirical assessment of approaches to distributed enforcement in role-based access control (RBAC). CODASPY (2011)
Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam
Role-based access control (RBAC) in Java via proxy objects using annotations. SACMAT (2010)
Mahesh V. Tripunitara, Praerit Garg, Bob Bocchino, Fred Frye, Divya Sundaram
Access control in practice: pain points. SACMAT (2010)
Bogdan Carbunar, Mahesh V. Tripunitara
Fair Payments for Outsourced Computations. SECON (2010)
Ali Saidi, Mahesh V. Tripunitara, Mojdeh Mohtashemi
Social Learning Applications in Resource Constrained Networks. CSE (4) (2009)
Mahesh V. Tripunitara, Bogdan Carbunar
Efficient access enforcement in distributed role-based access control (RBAC) deployments. SACMAT (2009)
Ninghui Li, Qihua Wang, Mahesh V. Tripunitara
Resiliency Policies in Access Control. ACM Trans. Inf. Syst. Secur. 12 (4) (2009)
Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara
Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. ICISS (2009)
Bogdan Carbunar, Mahesh V. Tripunitara
Conditional Payments for Computing Markets. CANS (2008)
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qihua Wang, William H. Winsborough
Towards Formal Verification of Role-Based Access Control Policies. IEEE Trans. Dependable Secur. Comput. 5 (4) (2008)
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara
A Correctness Proof of a Mesh Security Architecture. CSF (2008)
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara
A Proof of Security of a Mesh Security Architecture. IACR Cryptol. ePrint Arch. 2007 (2007)
Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri
On mutually exclusive roles and separation-of-duty. ACM Trans. Inf. Syst. Secur. 10 (2) (2007)
Mahesh V. Tripunitara, Ninghui Li
A theory for comparing the expressive power of access control models. J. Comput. Secur. 15 (2) (2007)
Mahesh V. Tripunitara, Thomas S. Messerges
Resolving the Micropayment Problem. Computer 40 (2) (2007)
Ninghui Li, Mahesh V. Tripunitara
Security analysis in role-based access control. ACM Trans. Inf. Syst. Secur. 9 (4) (2006)
Ninghui Li, Mahesh V. Tripunitara, Qihua Wang
Resiliency policies in access control. CCS (2006)
Ninghui Li, Mahesh V. Tripunitara
On Safety in Discretionary Access Control. IEEE Symposium on Security and Privacy (2005)
Ninghui Li, Ziad Bizri, Mahesh V. Tripunitara
On mutually-exclusive roles and separation of duty. CCS (2004)
Mahesh V. Tripunitara, Ninghui Li
Comparing the expressive power of access control models. CCS (2004)
Ninghui Li, Mahesh V. Tripunitara
Security analysis in role-based access control. SACMAT (2004)
Mahesh V. Tripunitara, Eugene H. Spafford
Connectivity provisioning with security attributes. Softw. Focus 2 (3) (2001)
Mahesh V. Tripunitara, Partha Dutta
A Middleware Approach to Asynchronous and Backward Compatible Detection and Prevention of ARP Cache Poisoning. ACSAC (1999)