Attribute-based access control (ABAC) is a promising alternative to traditional models of
access control (ie, discretionary access control (DAC), mandatory access control (MAC), and …

Cloud computing is an Internet‐based computing where the information technology
resources are provided to end users following their request. With this technology, users and …

Dynamic taint analysis and forward symbolic execution are quickly becoming staple
techniques in security analyses. Example applications of dynamic taint analysis and forward …

Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived)
classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how to …

User delegation is a mechanism for assigning access rights available to one user to another
user. A delegation can either be a grant or transfer operation. Existing work on delegation in …

The cloud service model intrinsically caters to multiple tenants, most obviously not only in
public clouds but also in private clouds for large organizations. Currently, most cloud service …

One reason workflow systems have been criticized as being inflexible is that they lack
support for delegation. This paper shows how delegation can be introduced in a workflow …

This paper addresses the issues surrounding user-to-user delegation in RBAC. We show
how delegations can be incorporated into the RBAC model in a simple and straightforward …

Most cloud services are built with multi-tenancy which enables data and configuration
segregation upon shared infrastructures. In this setting, a tenant temporarily uses a piece of …

Instruction Level Parallelism (ILP) speedups of an order-of-magnitude or greater may be
possible using the techniques described herein. Traditional speculative code execution is …