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
file
Towards Stronger and Verified Security for Real-World Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:50pm. Contributor:
Viet Tung Hoang
Project Highlight Slides
Applied cryptography
Cryptography
theory
1755539
SaTC PI Meeting 2022
file
New Analytic Frontiers for Symmetric Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:50pm. Contributor:
Viet Tung Hoang
Project Highlight Slides
Applied cryptography
Cryptography
theory
2046540
SaTC PI Meeting 2022
file
Scaling Correct-by-Construction Code Generation for Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:48pm. Contributor:
Adam Chlipala
Project Highlight Slides
Applied Formal Methods and Language-based Security Software
Cryptography
2130671
SaTC PI Meeting 2022
file
SaTC: CORE: Small: Nested Black-Box Constructions in Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:48pm. Contributor:
Omkant Pandey
Project Highlight Slides
Applied cryptography
Cryptography
theory
2028920
SaTC PI Meeting 2022
file
Consistent and Private Group Communication
Submitted by JasonGigax on Wed, 06/22/2022 - 1:47pm. Contributor:
Nicholas Hopper
Project Highlight Slides
Applied
Applied Privacy
Cryptography
1814753
SaTC PI Meeting 2022
file
Efficient and Secure Distributed Consensus
Submitted by JasonGigax on Wed, 06/22/2022 - 1:47pm. Contributor:
Charalampos Papamanthou
Project Highlight Slides
Applied cryptography
Cryptography
theory
1652259
SaTC PI Meeting 2022
file
SaTC: CORE: Small: Expanding the Frontiers of Lattice-Based Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:47pm. Contributor:
David Wu
Project Highlight Slides
Applied cryptography
Cryptography
theory
2151131
file
An algebraic approach to secure multilinear maps for cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 1:46pm. Contributor:
Alice Silverberg
Project Highlight Slides
Cryptography
theory
1701567
1701785
1703321
SaTC PI Meeting 2022
file
Counting Problems in Number Theory: Elliptic and Plane Quartic Curves over Finite Fields
Submitted by JasonGigax on Wed, 06/22/2022 - 1:39pm. Contributor:
Nathan Kaplan
Project Highlight Slides
Cryptography
theory
DMS 1802281
SaTC PI Meeting 2022
file
NSF SaTC: TTP: Medium: Collaborative: in-to: Securing the Software Supply Chain
Submitted by JasonGigax on Wed, 06/22/2022 - 1:39pm. Contributors:
Justin Cappos
Reza Curtmola
Project Highlight Slides
Applied Information Authenticity Systems
Cryptography
Transition to Practice
1801376
SaTC PI Meeting 2022
« first
‹ previous
…
12
13
14
15
16
17
18
19
20
…
next ›
last »
