Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Cryptography Applied
file
Deployment-quality and Accessible Solutions for Cryptography Code Development
Submitted by Danfeng Yao on Wed, 01/08/2020 - 2:10pm. Contributors:
Danfeng (Daphne) Yao
Na Meng
Bart Miller
Project Slides
Cryptography Applied
Software
Transition to Practice
1929701
SaTC PI Meeting 2019
file
Automating Countermeasures and Security Evaluation against Software Side-channel Attacks
Submitted by Yunsi Fei on Wed, 01/08/2020 - 2:10pm. Contributors:
Yunsi Fei
Aidong Adam Ding
Thomas Wahl
Project Slides
Cryptography Applied
Formal Methods and Language-based Security
Hardware Security Design Software
1563697
SaTC PI Meeting 2019
file
Understanding Socio-Technical Failure Modes in Public Key Infrastructures
Submitted by Jean Camp on Tue, 01/07/2020 - 11:46am. Contributor:
L. Jean Camp
Project Slides
Cryptography Applied
Social Behavioral and Economics Sciences
Usability and Human Interaction
1814518
file
Transforming Non-Malleable Cryptography
Submitted by Vipu Goyal on Tue, 01/07/2020 - 11:46am. Contributor:
Vipul Goyal
Project Slides
Cryptography Applied
cryptography theory
1916939
SaTC PI Meeting 2019
file
Towards Stronger and Verified Security for Real-World Cryptography
Submitted by Viet Tung Hoang on Tue, 01/07/2020 - 11:46am. Contributor:
Viet Tung Hoang
Project Slides
Cryptography Applied
cryptography theory
1755539
SaTC PI Meeting 2019
file
SPHINX A Password Store that Perfectly Hides Passwords from Itself
Submitted by Nitesh Saxena 2 on Tue, 01/07/2020 - 11:46am. Contributor:
Nitesh Saxena
Project Slides
Cryptography Applied
Usability and Human Interaction
Transition to Practice
Authentication and Biometrics
1714807
SaTC PI Meeting 2019
file
Privacy Preserving Cooperation among Microgrids for Efficient Load Management on the Grid
Submitted by Yuan Hong on Tue, 01/07/2020 - 11:46am. Contributor:
Yuan Hong
Project Slides
Cryptography Applied
cyber-physical systems
Privacy Applied
1745894
SaTC PI Meeting 2019
file
Automated Support for Writing High-Assurance Smart Contracts
Submitted by Jan Hoffman on Tue, 01/07/2020 - 11:46am. Contributors:
Jan Hoffman
Andrew Miller
Bryan Parno
Project Slides
Cryptography Applied
Formal Methods and Language-based Security
1801369
1801321
SaTC PI Meeting 2019
file
Automated Proof Generation and Verification for Attribute-based Cryptography
Submitted by Roopa Vishwanathan on Tue, 01/07/2020 - 11:46am. Contributor:
Roopa Vishwanathan
Project Slides
Cryptography Applied
cryptography theory
1800088
file
API-centric Cryptography
Submitted by Thomas Shrimpton on Tue, 01/07/2020 - 11:46am. Contributor:
Thomas Shrimpton
Project Slides
Cryptography Applied
cryptography theory
1816375
SaTC PI Meeting 2019
« first
‹ previous
1
2
3
next ›
last »
