Mahesh Tripunitara
Mahesh Tripunitara
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
Security analysis in role-based access control
N Li, MV Tripunitara
ACM Transactions on Information and System Security (TISSEC) 9 (4), 391-420, 2006
2902006
On mutually exclusive roles and separation-of-duty
N Li, MV Tripunitara, Z Bizri
ACM Transactions on Information and System Security (TISSEC) 10 (2), 5-es, 2007
2222007
Securing computer hardware using 3d integrated circuit ({IC}) technology and split manufacturing for obfuscation
F Imeson, A Emtenan, S Garg, M Tripunitara
22nd {USENIX} Security Symposium ({USENIX} Security 13), 495-510, 2013
2032013
Integrated Circuit (IC) Decamouflaging: Reverse Engineering Camouflaged ICs within Minutes.
M El Massad, S Garg, MV Tripunitara
NDSS, 1-14, 2015
1682015
Towards formal verification of role-based access control policies
S Jha, N Li, M Tripunitara, Q Wang, W Winsborough
IEEE Transactions on Dependable and Secure Computing 5 (4), 242-255, 2008
1572008
On safety in discretionary access control
N Li, MV Tripunitara
2005 IEEE Symposium on Security and Privacy (S&P'05), 96-109, 2005
992005
Automatic error finding in access-control policies
K Jayaraman, V Ganesh, M Tripunitara, M Rinard, S Chapin
Proceedings of the 18th ACM conference on Computer and communications …, 2011
922011
A middleware approach to asynchronous and backward compatible detection and prevention of ARP cache poisoning
MV Tripunitara, P Dutta
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99 …, 1999
791999
Computer vulnerability analysis
I Krsul, E Spafford, M Tripunitara
COAST Laboratory, Purdue University, West Lafayette, IN, Technical Report, 1998
721998
Comparing the expressive power of access control models
MV Tripunitara, N Li
Proceedings of the 11th ACM conference on Computer and communications …, 2004
642004
Reverse engineering camouflaged sequential circuits without scan access
M El Massad, S Garg, M Tripunitara
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 33-40, 2017
602017
Resiliency policies in access control
N Li, Q Wang, M Tripunitara
ACM Transactions on Information and System Security (TISSEC) 12 (4), 1-34, 2009
602009
A theory for comparing the expressive power of access control models 1
MV Tripunitara, N Li
Journal of Computer Security 15 (2), 231-272, 2007
582007
A theory for comparing the expressive power of access control models
MV Tripunitara, N Li
Journal of Computer Security 15 (2), 231-272, 2007
582007
Logic locking for secure outsourced chip fabrication: A new attack and provably secure defense mechanism
ME Massad, J Zhang, S Garg, MV Tripunitara
arXiv preprint arXiv:1703.10187, 2017
392017
Robust shared objects for non-volatile main memory
R Berryhill, W Golab, M Tripunitara
19th International Conference on Principles of Distributed Systems (OPODIS 2015), 2016
392016
Mohawk: Abstraction-refinement and bound-estimation for verifying access control policies
K Jayaraman, M Tripunitara, V Ganesh, M Rinard, S Chapin
ACM Transactions on Information and System Security (TISSEC) 15 (4), 1-28, 2013
362013
Middle approach to asynchronous and backward-compatible detection and prevention of ARP cache poisoning
MV Tripunitara, P Dutta
US Patent 6,771,649, 2004
312004
Fair payments for outsourced computations
B Carbunar, M Tripunitara
2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and …, 2010
282010
The foundational work of Harrison-Ruzzo-Ullman revisited
MV Tripunitara, N Li
IEEE Transactions on Dependable and Secure Computing 10 (1), 28-39, 2012
272012
The system can't perform the operation now. Try again later.
Articles 1–20