Mahesh V. Tripunitara

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

2016

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way).

[BibT_eX]

[DOI]

Frank Imeson

Saeed Nejati

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

2015

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

[BibT_eX]

[DOI]

Jonathan Shahen

Jianwei Niu

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

Hard Instances for Verification Problems in Access Control.

[BibT_eX]

[DOI]

Nima Mousavi

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

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

[BibT_eX]

[DOI]

Mohamed El Massad

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.

[BibT_eX]

[DOI]

Kadhim Hayawi

Alireza Mortezaei

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

2014

The UNIX Process Identity Crisis: A Standards-Driven Approach to Setuid.

[BibT_eX]

[DOI]

Mark S. Dittmer

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

2013

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

[BibT_eX]

[DOI]

Frank Imeson

Ariq Emtenan

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

Least-restrictive enforcement of the Chinese wall security policy.

[BibT_eX]

[DOI]

Alireza Sharifi

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

Property-testing real-world authorization systems.

[BibT_eX]

[DOI]

Alireza Sharifi

Paul Bottinelli

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

Panel on granularity in access control.

[BibT_eX]

[DOI]

Ian M. Molloy

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

2012

Relating declarative semantics and usability in access control.

[BibT_eX]

[DOI]

Vivek Krishnan

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

[BibT_eX]

[DOI]

Nima Mousavi

Sundaram Ananthanarayanan

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

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

[BibT_eX]

[DOI]

Aravindkumar Rajendiran

Hiren D. Patel

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

2011

An authorization scheme for version control systems.

[BibT_eX]

[DOI]

Sitaram Chamarty

Hiren D. Patel

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

[BibT_eX]

[DOI]

Marko Komlenovic

Toufik Zitouni

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

Automatic error finding in access-control policies.

[BibT_eX]

[DOI]

Karthick Jayaraman

Vijay Ganesh

Martin C. Rinard

Steve J. Chapin

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

2010

Fair Payments for Outsourced Computations.

[BibT_eX]

[DOI]

Bogdan Carbunar

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

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

[BibT_eX]

[DOI]

Jeff Zarnett

Patrick Lam

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

Access control in practice: pain points.

[BibT_eX]

[DOI]

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

2009

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jeff Zarnett

Patrick Lam

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

Social Learning Applications in Resource Constrained Networks.

[BibT_eX]

[DOI]

Ali Saidi

Mojdeh Mohtashemi

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

2008

A Correctness Proof of a Mesh Security Architecture.

[BibT_eX]

[DOI]

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

Conditional Payments for Computing Markets.

[BibT_eX]

[DOI]

Bogdan Carbunar

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

2006

Resiliency policies in access control.

[BibT_eX]

[DOI]

Qihua Wang

Proceedings of the 13th ACM Conference on Computer and Communications Security, 2006

2005

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

[BibT_eX]

[DOI]

PhD thesis, 2005

On Safety in Discretionary Access Control.

[BibT_eX]

[DOI]

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

2004

Security analysis in role-based access control.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM Symposium on Access Control Models and Technologies, 2004

Comparing the expressive power of access control models.

[BibT_eX]

[DOI]

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

On mutually-exclusive roles and separation of duty.

[BibT_eX]

[DOI]

Ziad Bizri

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

1999

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

[BibT_eX]

[DOI]