Mahesh Tripunitara

According to our database, Mahesh Tripunitara authored at least 67 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Minimizing the Number of Roles in Bottom-Up Role-Mining using Maximal Biclique Enumeration.

Mahesh Tripunitara

CoRR, 2024

Countering Subscription Concealed Identifier (SUCI)-Catchers in Cellular Communications.

Julian Parkin, Mahesh Tripunitara

Proceedings of the Information Systems Security - 20th International Conference, 2024

A Compiler Phase to Optimally Split GPU Wavefronts for Safety-Critical Systems.

Artem Klashtorny, Mahesh Tripunitara, Hiren D. Patel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

The poor usability of OpenLDAP Access Control Lists.

Yi Fei Chen, Rahul Punchhi, Mahesh Tripunitara

IET Inf. Secur., January, 2023

A Comparison of Four Notions of Isomorphism-Based Security for Graphs.

Zhiyuan Lin, Mahesh Tripunitara

IEEE Trans. Dependable Secur. Comput., 2023

Least-Privilege Calls to Amazon Web Services.

Puneet Gill, Werner Dietl, Mahesh Tripunitara

IEEE Trans. Dependable Secur. Comput., 2023

The Hardness of Learning Access Control Policies.

Xiaomeng Lei, Mahesh Tripunitara

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2022

The Secrecy Resilience of Access Control Policies and Its Application to Role Mining.

Qiang Guo, Mahesh Tripunitara

Proceedings of the SACMAT '22: The 27th ACM Symposium on Access Control Models and Technologies, New York, NY, USA, June 8, 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

Proceedings of the Foundations and Practice of Security - 15th International Symposium, 2022

Locked Circuit Indistinguishability: A Notion of Security for Logic Locking.

Mohamed El Massad, Nahid Juma, Jonathan Shahen, Mariana Raykova, Siddharth Garg, Mahesh Tripunitara

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

Cree: A Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.

Jonathan Shahen, Jianwei Niu, Mahesh Tripunitara

IEEE Trans. Dependable Secur. Comput., 2021

Granularity and Usability in Authorization Policies.

Boyun Zhang, Puneet Gill, Nelu Mihai, Mahesh Tripunitara

Proceedings of the Emerging Information Security and Applications, 2021

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

A computational complexity analysis of tunable type inference for Generic Universe Types.

Nahid Juma, Werner Dietl, Mahesh Tripunitara

Theor. Comput. Sci., 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

Forensic Analysis in Access Control: Foundations and a Case-Study from Practice.

Nahid Juma, Xiaowei Huang, Mahesh Tripunitara

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Constructing cascade bloom filters for efficient access enforcement.

Nima Mousavi, Mahesh Tripunitara

Comput. Secur., 2019

Strengthening PUFs using Composition.

Zhuanhao Wu, Hiren D. Patel, Manoj Sachdev, Mahesh V. Tripunitara

Proceedings of the International Conference on Computer-Aided Design, 2019

2017

Reverse Engineering Camouflaged Sequential Integrated Circuits Without Scan Access.

Mohamed El Massad, Siddharth Garg, Mahesh Tripunitara

CoRR, 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 circuits without scan access.

Mohamed El Massad, Siddharth Garg, Mahesh Tripunitara

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

The Need for Declarative Properties in Digital IC Security.

Mohamed El Massad, Frank Imeson, Siddharth Garg, Mahesh Tripunitara

Proceedings of the on Great Lakes Symposium on VLSI 2017, 2017

Graph Automorphism-Based, Semantics-Preserving Security for the Resource Description Framework (RDF).

Zhiyuan Lin, Mahesh Tripunitara

Proceedings of the Seventh ACM Conference on Data and Application Security and Privacy, 2017

2016

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

Proceedings of the 10th USENIX Workshop on Offensive Technologies, 2016

2015

Mohawk+T: Efficient Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies.

Jonathan Shahen, Jianwei Niu, Mahesh V. Tripunitara

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

Hard Instances for Verification Problems in Access Control.

Nima Mousavi, Mahesh V. Tripunitara

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

Robust Shared Objects for Non-Volatile Main Memory.

Ryan Berryhill, Wojciech M. Golab, Mahesh Tripunitara

Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Integrated Circuit (IC) Decamouflaging: Reverse Engineering Camouflaged ICs within Minutes.

Mohamed El Massad, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015

The Limits of the Trade-Off Between Query-Anonymity and Communication-Cost in Wireless Sensor Networks.

Kadhim Hayawi, Alireza Mortezaei, Mahesh V. Tripunitara

Proceedings of the 5th ACM Conference on Data and Application Security and Privacy, 2015

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 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

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 UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid.

Mark S. Dittmer, Mahesh V. Tripunitara

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Mohawk: Abstraction-Refinement and Bound-Estimation for Verifying Access Control Policies.

Karthick Jayaraman, Mahesh V. Tripunitara, Vijay Ganesh, Martin C. Rinard, Steve J. Chapin

ACM Trans. Inf. Syst. Secur., 2013

The Foundational Work of Harrison-Ruzzo-Ullman Revisited.

Mahesh V. Tripunitara, Ninghui Li

IEEE Trans. Dependable Secur. Comput., 2013

Securing Computer Hardware Using 3D Integrated Circuit (IC) Technology and Split Manufacturing for Obfuscation.

Frank Imeson, Ariq Emtenan, Siddharth Garg, Mahesh V. Tripunitara

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Least-restrictive enforcement of the Chinese wall security policy.

Alireza Sharifi, Mahesh V. Tripunitara

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Property-testing real-world authorization systems.

Alireza Sharifi, Paul Bottinelli, Mahesh V. Tripunitara

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

Panel on granularity in access control.

Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

2012

Payments for Outsourced Computations.

Bogdan Carbunar, Mahesh V. Tripunitara

IEEE Trans. Parallel Distributed Syst., 2012

Relating declarative semantics and usability in access control.

Vivek Krishnan, Mahesh V. Tripunitara, Kinson Chik, Tony Bergstrom

Proceedings of the Symposium On Usable Privacy and Security, 2012

Mitigating the Intractability of the User Authorization Query Problem in Role-Based Access Control (RBAC).

Nima Mousavi, Mahesh V. Tripunitara

Proceedings of the Network and System Security - 6th International Conference, 2012

Reliable computing with ultra-reduced instruction set co-processors.

Aravindkumar Rajendiran, Sundaram Ananthanarayanan, Hiren D. Patel, Mahesh V. Tripunitara, Siddharth Garg

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

ARBAC Policy for a Large Multi-National Bank

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

CoRR, 2011

An authorization scheme for version control systems.

Sitaram Chamarty, Hiren D. Patel, Mahesh V. Tripunitara

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

An empirical assessment of approaches to distributed enforcement in role-based access control (RBAC).

Marko Komlenovic, Mahesh V. Tripunitara, Toufik Zitouni

Proceedings of the First ACM Conference on Data and Application Security and Privacy, 2011

Automatic error finding in access-control policies.

Karthick Jayaraman, Vijay Ganesh, Mahesh V. Tripunitara, Martin C. Rinard, Steve J. Chapin

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Fair Payments for Outsourced Computations.

Bogdan Carbunar, Mahesh V. Tripunitara

Proceedings of the Seventh Annual IEEE Communications Society Conference on Sensor, 2010

Role-based access control (RBAC) in Java via proxy objects using annotations.

Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

Access control in practice: pain points.

Mahesh V. Tripunitara, Praerit Garg, Bob Bocchino, Fred Frye, Divya Sundaram

Proceedings of the 15th ACM Symposium on Access Control Models and Technologies, 2010

2009

Resiliency Policies in Access Control.

Ninghui Li, Qihua Wang, Mahesh V. Tripunitara

ACM Trans. Inf. Syst. Secur., 2009

Efficient access enforcement in distributed role-based access control (RBAC) deployments.

Mahesh V. Tripunitara, Bogdan Carbunar

Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, 2009

Method-Specific Java Access Control via RMI Proxy Objects Using Annotations.

Jeff Zarnett, Patrick Lam, Mahesh V. Tripunitara

Proceedings of the Information Systems Security, 5th International Conference, 2009

Social Learning Applications in Resource Constrained Networks.

Ali Saidi, Mahesh V. Tripunitara, Mojdeh Mohtashemi

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

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

A Correctness Proof of a Mesh Security Architecture.

Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

Conditional Payments for Computing Markets.

Bogdan Carbunar, Mahesh V. Tripunitara

Proceedings of the Cryptology and Network Security, 7th International Conference, 2008

2007

On mutually exclusive roles and separation-of-duty.

Ninghui Li, Mahesh V. Tripunitara, Ziad Bizri

ACM Trans. Inf. Syst. Secur., 2007

A theory for comparing the expressive power of access control models.

Mahesh V. Tripunitara, Ninghui Li

J. Comput. Secur., 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

Resolving the Micropayment Problem.

Mahesh V. Tripunitara, Thomas S. Messerges

Computer, 2007

2006

Security analysis in role-based access control.

Ninghui Li, Mahesh V. Tripunitara

ACM Trans. Inf. Syst. Secur., 2006

2005

A theory based on security analysis for comparing the expressive power of access control models

Mahesh V. Tripunitara

PhD thesis, 2005

On Safety in Discretionary Access Control.

Ninghui Li, Mahesh V. Tripunitara

Proceedings of the 2005 IEEE Symposium on Security and Privacy (S&P 2005), 2005

2004

Comparing the expressive power of access control models.

Mahesh V. Tripunitara, Ninghui Li

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2001

Connectivity provisioning with security attributes.

Mahesh V. Tripunitara, Eugene H. Spafford

Softw. Focus, 2001

1999

A Middleware Approach to Asynchronous and Backward Compatible Detection and Prevention of ARP Cache Poisoning.

Mahesh V. Tripunitara, Partha Dutta

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999