20 citations · 36 across the 7 of their papers we have counts for
7 papers
VRSafe: A Secure Virtual Keyboard to Mitigate Keystroke Inference in Virtual Reality
Yijun Yuan, Na Du, Adam J. Lee +1
Password-based authentication is one of the most commonly used methods for verifying user identities, and its widespread usage continues in virtual reality (VR) applications. As a…
Leveraging Intel SGX to Create a Nondisclosure Cryptographic library
Mohammad Hasanzadeh Mofrad, Adam Lee
Enforcing integrity and confidentiality of users' application code and data is a challenging mission that any software developer working on an online production grade service is fa…
On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud (Extended Version)
William C. Garrison, Adam Shull, Steven Myers +1
The ability to enforce robust and dynamic access controls on cloud-hosted data while simultaneously ensuring confidentiality with respect to the cloud itself is a clear goal for ma…
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations (Extended Version)
William C. Garrison, Adam J. Lee
Access control is fundamental to computer security, and has thus been the subject of extensive formal study. In particular, *relative expressiveness analysis* techniques have used…
The Design and Demonstration of an Actor-Based, Application-Aware Access Control Evaluation Framework
William C. Garrison, Adam J. Lee, Timothy L. Hinrichs
To date, most work regarding the formal analysis of access control schemes has focused on quantifying and comparing the expressive power of a set of schemes. Although expressive po…
Secured histories: computing group statistics on encrypted data while preserving individual privacy
Eleanor Rieffel, Jacob Biehl, William van Melle +1
As sensors become ever more prevalent, more and more information will be collected about each of us. A longterm research question is how best to support beneficial uses while prese…