Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Program Agenda
Posters
Project Highlight Slides
Breakout Sessions
Attendees
Registrants Attending
Registrants Not Attending
Organizing Committee
Files
CPS-VO
»
Secure and Trustworthy Cyberspace (SaTC) Community Forum
»
2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)
» PROJECT SLIDES
Project Slides
file
Automatic Synthesis of Verifiably Secure Hardware Accelerators
Submitted by Zhiru Zhang on Tue, 12/13/2016 - 4:55pm. Contributors:
Zhiru Zhang
G. Edward Suh
Project Slides
1618275
SaTC Pi Meeting 2017
file
Automatic Enforcement of Expressive Security Policies using Enclaves
Submitted by Stephen Chong on Tue, 12/13/2016 - 4:55pm. Contributor:
Stephen Chong
Project Slides
1054172
SaTC Pi Meeting 2017
file
Automated Protocol Design and Refinement
Submitted by Jay McCarthy on Tue, 12/13/2016 - 4:55pm. Contributor:
Jay McCarthy
Project Slides
1617307
SaTC Pi Meeting 2017
file
Attribute Based Access Control For Cloud IaaS
Submitted by RAM KRISHNAN on Tue, 12/13/2016 - 4:55pm. Contributor:
Ram Krishnan
Project Slides
1423481
SaTC Pi Meeting 2017
file
Automated Conformance Testing of Attribute-Based Access Control and Obligation Policies
Submitted by Dianxiang Xu on Tue, 12/13/2016 - 4:55pm. Contributor:
Dianxiang Xu
Project Slides
1359590
SaTC Pi Meeting 2017
file
An optimization framework for prioritizing mitigations for securing information technology infrastructure
Submitted by Laura McLay on Tue, 12/13/2016 - 4:55pm. Contributors:
Laura Albert McLay
James R. Luedtke
Project Slides
1422768
SaTC Pi Meeting 2017
file
Anomaly Detection in Multilayer Networks
Submitted by Rebecca Wright on Tue, 12/13/2016 - 4:55pm. Contributors:
Rebecca N. Wright
Lazaros K. Gallos
Nina H. Fefferman
Project Slides
1646856
1646890
SaTC Pi Meeting 2017
file
Algorithms for number-theoretic problems in cryptography
Submitted by Kirsten Eisentraeger on Tue, 12/13/2016 - 4:55pm. Contributors:
Kirsten Eisentraeger
Sean Hallgren
Project Slides
1617802
SaTC Pi Meeting 2017
file
An Investigation of the Propagation of Error-Resistant and Error-Prone Messages Over Large-Scale Information Networks
Submitted by Raghav Rao on Tue, 12/13/2016 - 4:55pm. Contributors:
H. Raghav Rao
Varun Chandola
Manish Agrawal
Rohit Valecha
Project Slides
1651475
SaTC Pi Meeting 2017
file
A Kit For Exploring Databases
Submitted by Alexander Rasin on Tue, 12/13/2016 - 4:55pm. Contributors:
Alexander Rasin
Jacob Furst
Karen Heart
Project Slides
1656268
SaTC Pi Meeting 2017
« first
‹ previous
…
25
26
27
28
29
30
31
32
33
…
next ›
last »