SaTC Pi Meeting 2017

file

Visible to the public Automatic Enforcement of Expressive Security Policies using Enclaves

Submitted by Stephen Chong on Tue, 12/13/2016 - 3:55pm. Contributor:
file

Visible to the public Automated Protocol Design and Refinement

Submitted by Jay McCarthy on Tue, 12/13/2016 - 3:55pm. Contributor:
file

Visible to the public Attribute Based Access Control For Cloud IaaS

Submitted by RAM KRISHNAN on Tue, 12/13/2016 - 3:55pm. Contributor:
file

Visible to the public Algorithms for number-theoretic problems in cryptography

Submitted by Kirsten Eisentraeger on Tue, 12/13/2016 - 3:55pm. Contributors:
file

Visible to the public A Kit For Exploring Databases

Submitted by Alexander Rasin on Tue, 12/13/2016 - 3:55pm. Contributors: