File
Automatic Synthesis of Verifiably Secure Hardware Accelerators
Submitted by Zhiru Zhang on December 13th, 2016
File
Automatic Enforcement of Expressive Security Policies using Enclaves
Submitted by Stephen Chong on December 13th, 2016
File
Automated Protocol Design and Refinement
Submitted by Jay McCarthy on December 13th, 2016
File
Automated Conformance Testing of Attribute-Based Access Control and Obligation Policies
Submitted by Dianxiang Xu on December 13th, 2016
File
Attribute Based Access Control For Cloud IaaS
Submitted by RAM KRISHNAN on December 13th, 2016
File
Anomaly Detection in Multilayer Networks
Submitted by Rebecca Wright on December 13th, 2016
File
An optimization framework for prioritizing mitigations for securing information technology infrastructure
Laura Albert Submitted by Laura Albert on December 13th, 2016
File
An Investigation of the Propagation of Error-Resistant and Error-Prone Messages Over Large-Scale Information Networks
Submitted by Raghav Rao on December 13th, 2016
File
Algorithms for number-theoretic problems in cryptography
Submitted by Kirsten Eisentraeger on December 13th, 2016
File
A Kit For Exploring Databases
Submitted by Alexander Rasin on December 13th, 2016
Subscribe to Project Slides