File
SaTC: CORE: Small: Expanding the Realm of Oblivious Transfer: New Tools for Cryptography
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC: CORE: Small: A Practical Approach to Study Security in Wireless Networks
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC: CORE: Small: Enabling Systematic Evaluation of the Soundness of Android Security Analysis Techniques
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Automated Support for Writing High-Assurance Smart Contracts
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Composable Programming Abstractions for Secure Distributed Computing and Blockchain Applications
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Towards Stronger and Verified Security for Real-World Cryptography
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
New Analytic Frontiers for Symmetric Cryptography
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Scaling Correct-by-Construction Code Generation for Cryptography
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC: CORE: Small: Nested Black-Box Constructions in Cryptography
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Consistent and Private Group Communication
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
Subscribe to Cryptography