File
ProperData: Protecting Personal Data Flow on the Internet
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Advancing Cybersecurity Education to Human-Level Artificial Intelligence
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Scaling Correct-by-Construction Code Generation for Cryptography
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Formal TOols foR SafEty aNd Security of Industrial Control Systems (FORENSICS)
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Characterizing and Modeling Threat Feeds for Patch
Submitted by Anonymous on February 5th, 2020
File
Quantifying Information Leakage in Searchable Encryption
Submitted by Geoffrey Smith on January 8th, 2020
File
Protecting Confidentiality and Integrity of Deep Neural Networks against Side-channel and Fault Attacks
Submitted by Yunsi Fei on January 8th, 2020
File
Towards Mechanized Proofs of Composable Security Properties
Submitted by Alley Stoughton on January 8th, 2020
File
Proof of Work Without All the Work
Submitted by Jared Saia on January 8th, 2020
Subscribe to Formal Methods and Language-based Security