A Middleware Approach to Asynchronous and Backward Compatible Detection and Prevention of ARP Cache Poisoning. - Mahesh V. Tripunitara; Partha Dutta (ACSAC, 1999)

Connectivity provisioning with security attributes. - Mahesh V. Tripunitara; Eugene H. Spafford (Softw. Focus, 2001)

Comparing the expressive power of access control models. - Mahesh V. Tripunitara; Ninghui Li (CCS, 2004)

On Safety in Discretionary Access Control. - Ninghui Li; Mahesh V. Tripunitara (S&P, 2005)

A theory based on security analysis for comparing the expressive power of access control models - Mahesh V. Tripunitara (2005)

Security analysis in role-based access control. - Ninghui Li; Mahesh V. Tripunitara (ACM Trans. Inf. Syst. Secur., 2006)

Resolving the Micropayment Problem. - Mahesh V. Tripunitara; Thomas S. Messerges (Computer, 2007)

A Proof of Security of a Mesh Security Architecture. - Doug Kuhlman; Ryan Moriarty; Tony Braskich; Steve Emeott; Mahesh V. Tripunitara (IACR Cryptol. ePrint Arch., 2007)

A theory for comparing the expressive power of access control models. - Mahesh V. Tripunitara; Ninghui Li (J. Comput. Secur., 2007)

On mutually exclusive roles and separation-of-duty. - Ninghui Li; Mahesh V. Tripunitara; Ziad Bizri (ACM Trans. Inf. Syst. Secur., 2007)

Conditional Payments for Computing Markets. - Bogdan Carbunar; Mahesh V. Tripunitara (CANS, 2008)

A Correctness Proof of a Mesh Security Architecture. - Doug Kuhlman; Ryan Moriarty; Tony Braskich; Steve Emeott; Mahesh V. Tripunitara (CSF, 2008)

Towards Formal Verification of Role-Based Access Control Policies. - Somesh Jha; Ninghui Li; Mahesh V. Tripunitara; Qihua Wang; William H. Winsborough (IEEE Trans. Dependable Secur. Comput., 2008)

Social Learning Applications in Resource Constrained Networks. - Ali Saidi; Mahesh V. Tripunitara; Mojdeh Mohtashemi (CSE (4), 2009)

Method-Specific Java Access Control via RMI Proxy Objects Using Annotations. - Jeff Zarnett; Patrick Lam 001; Mahesh V. Tripunitara (ICISS, 2009)

Efficient access enforcement in distributed role-based access control (RBAC) deployments. - Mahesh V. Tripunitara; Bogdan Carbunar (SACMAT, 2009)

Resiliency Policies in Access Control. - Ninghui Li; Qihua Wang; Mahesh V. Tripunitara (ACM Trans. Inf. Syst. Secur., 2009)

Access control in practice: pain points. - Mahesh V. Tripunitara; Praerit Garg; Bob Bocchino; Fred Frye; Divya Sundaram (SACMAT, 2010)

Role-based access control (RBAC) in Java via proxy objects using annotations. - Jeff Zarnett; Mahesh V. Tripunitara; Patrick Lam 001 (SACMAT, 2010)

Fair Payments for Outsourced Computations. - Bogdan Carbunar; Mahesh V. Tripunitara (SECON, 2010)

Automatic error finding in access-control policies. - Karthick Jayaraman; Vijay Ganesh 001; Mahesh V. Tripunitara; Martin C. Rinard; Steve J. Chapin (CCS, 2011)

An empirical assessment of approaches to distributed enforcement in role-based access control (RBAC). - Marko Komlenovic; Mahesh V. Tripunitara; Toufik Zitouni (CODASPY, 2011)

An authorization scheme for version control systems. - Sitaram Chamarty; Hiren D. Patel; Mahesh V. Tripunitara (SACMAT, 2011)

ARBAC Policy for a Large Multi-National Bank - Karthick Jayaraman; Vijay Ganesh 001; Mahesh V. Tripunitara; Martin C. Rinard; Steve J. Chapin (CoRR, 2011)

Reliable computing with ultra-reduced instruction set co-processors. - Aravindkumar Rajendiran; Sundaram Ananthanarayanan; Hiren D. Patel; Mahesh V. Tripunitara; Siddharth Garg (DAC, 2012)

Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC). - Nima Mousavi; Mahesh V. Tripunitara (NSS, 2012)

Relating declarative semantics and usability in access control. - Vivek Krishnan; Mahesh V. Tripunitara; Kinson Chik; Tony Bergstrom (SOUPS, 2012)

Payments for Outsourced Computations. - Bogdan Carbunar; Mahesh V. Tripunitara (IEEE Trans. Parallel Distributed Syst., 2012)

Panel on granularity in access control. - Ian M. Molloy; Mahesh V. Tripunitara; Volkmar Lotz; Martin Kuhlmann; Casey Schaufler; Vijay Atluri (SACMAT, 2013)

Property-testing real-world authorization systems. - Alireza Sharifi; Paul Bottinelli; Mahesh V. Tripunitara (SACMAT, 2013)

Least-restrictive enforcement of the Chinese wall security policy. - Alireza Sharifi; Mahesh V. Tripunitara (SACMAT, 2013)

Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation. - Frank Imeson; Ariq Emtenan; Siddharth Garg; Mahesh V. Tripunitara (USENIX Security Symposium, 2013)

The Foundational Work of Harrison-Ruzzo-Ullman Revisited. - Mahesh V. Tripunitara; Ninghui Li (IEEE Trans. Dependable Secur. Comput., 2013)

Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies. - Karthick Jayaraman; Mahesh V. Tripunitara; Vijay Ganesh 001; Martin C. Rinard; Steve J. Chapin (ACM Trans. Inf. Syst. Secur., 2013)

The UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid. - Mark S. Dittmer; Mahesh V. Tripunitara (CCS, 2014)

Reliable Computing with Ultra-Reduced Instruction Set Coprocessors. - Dan Wang; Aravindkumar Rajendiran; Sundaram Ananthanarayanan; Hiren D. Patel; Mahesh V. Tripunitara; Siddharth Garg (IEEE Micro, 2014)

The use of mTags for mandatory security: a case study. - Ahmad Saif Ur Rehman; Augusto Born de Oliveira; Mahesh V. Tripunitara; Sebastian Fischmeister (Softw. Pract. Exp., 2014)

Composing Kerberos and Multimedia Internet KEYing (MIKEY) for AuthenticatedTransport of Group Keys. - Jeffrey Lok Tin Woo; Mahesh V. Tripunitara (IEEE Trans. Parallel Distributed Syst., 2014)

The Limits of the Trade-Off Between Query-Anonymity and Communication-Cost in Wireless Sensor Networks. - Kadhim Hayawi; Alireza Mortezaei; Mahesh V. Tripunitara (CODASPY, 2015)

Integrated Circuit (IC) Decamouflaging: Reverse Engineering Camouflaged ICs within Minutes. - Mohamed El Massad; Siddharth Garg; Mahesh V. Tripunitara (NDSS, 2015)

Robust Shared Objects for Non-Volatile Main Memory. - Ryan Berryhill; Wojciech M. Golab; Mahesh Tripunitara (OPODIS, 2015)

Hard Instances for Verification Problems in Access Control. - Nima Mousavi; Mahesh V. Tripunitara (SACMAT, 2015)

Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. - Jonathan Shahen; Jianwei Niu 001; Mahesh V. Tripunitara (SACMAT, 2015)

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). - Frank Imeson; Saeed Nejati; Siddharth Garg; Mahesh V. Tripunitara (WOOT, 2016)

Graph Automorphism-Based, Semantics-Preserving Security for the Resource Description Framework (RDF). - Zhiyuan Lin; Mahesh Tripunitara (CODASPY, 2017)

The Need for Declarative Properties in Digital IC Security. - Mohamed El Massad; Frank Imeson; Siddharth Garg; Mahesh Tripunitara (ACM Great Lakes Symposium on VLSI, 2017)

Reverse engineering camouflaged sequential circuits without scan access. - Mohamed El Massad; Siddharth Garg; Mahesh Tripunitara (ICCAD, 2017)

Logic Locking for Secure Outsourced Chip Fabrication: A New Attack and Provably Secure Defense Mechanism. - Mohamed El Massad; Jun Zhang; Siddharth Garg; Mahesh V. Tripunitara (CoRR, 2017)

Reverse Engineering Camouflaged Sequential Integrated Circuits Without Scan Access. - Mohamed El Massad; Siddharth Garg; Mahesh Tripunitara (CoRR, 2017)

Strengthening PUFs using Composition. - Zhuanhao Wu; Hiren D. Patel; Manoj Sachdev; Mahesh V. Tripunitara (ICCAD, 2019)

Constructing cascade bloom filters for efficient access enforcement. - Nima Mousavi; Mahesh Tripunitara (Comput. Secur., 2019)

Forensic Analysis in Access Control: Foundations and a Case-Study from Practice. - Nahid Juma; Xiaowei Huang; Mahesh Tripunitara (CCS, 2020)

The SAT Attack on IC Camouflaging: Impact and Potential Countermeasures. - Mohamed El Massad; Siddharth Garg; Mahesh V. Tripunitara (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

A computational complexity analysis of tunable type inference for Generic Universe Types. - Nahid Juma; Werner Dietl; Mahesh Tripunitara (Theor. Comput. Sci., 2020)

The Overhead from Combating Side-Channels in Cloud Systems Using VM-Scheduling. - Nahid Juma; Jonathan Shahen; Khalid Zaman Bijon; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2020)

Granularity and Usability in Authorization Policies. - Boyun Zhang; Puneet Gill; Nelu Mihai; Mahesh Tripunitara (EISA, 2021)

Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies. - Jonathan Shahen; Jianwei Niu 001; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2021)

Locked Circuit Indistinguishability: A Notion of Security for Logic Locking. - Mohamed El Massad; Nahid Juma; Jonathan Shahen; Mariana Raykova 001; Siddharth Garg; Mahesh Tripunitara (CSF, 2022)

Finding Unchecked Low-Level Calls with Zero False Positives and Negatives in Ethereum Smart Contracts. - Puneet Gill; Indrani Ray; Alireza Lotfi Takami; Mahesh Tripunitara (FPS, 2022)

The Secrecy Resilience of Access Control Policies and Its Application to Role Mining. - Qiang Guo; Mahesh Tripunitara (SACMAT, 2022)

The Hardness of Learning Access Control Policies. - Xiaomeng Lei; Mahesh Tripunitara (SACMAT, 2023)

Least-Privilege Calls to Amazon Web Services. - Puneet Gill; Werner Dietl; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2023)

A Comparison of Four Notions of Isomorphism-Based Security for Graphs. - Zhiyuan Lin; Mahesh Tripunitara (IEEE Trans. Dependable Secur. Comput., 2023)

The poor usability of OpenLDAP Access Control Lists. - Yi Fei Chen; Rahul Punchhi; Mahesh Tripunitara (IET Inf. Secur., 2023)

A Compiler Phase to Optimally Split GPU Wavefronts for Safety-Critical Systems. - Artem Klashtorny; Mahesh Tripunitara; Hiren D. Patel (DATE, 2024)

Countering Subscription Concealed Identifier (SUCI)-Catchers in Cellular Communications. - Julian Parkin; Mahesh Tripunitara (ICISS, 2024)

New Algorithms for Minimizing the Number of Edges in Bottom-Up Role Mining. - Puneet Gill; Mahesh Tripunitara (SACMAT, 2025)

Minimizing the Number of Roles in Bottom-Up Role-Mining using Maximal Biclique Enumeration. - Mahesh Tripunitara (SACMAT, 2025)