File
New Protocols and Systems for RAM-Based Secure Computation
Submitted by Samuel Gordon on January 8th, 2020
File
Machine Learning for Effective Fuzz Testing
Submitted by Koushik Sen on January 8th, 2020
File
Language-Hardware Co-Design for Practical and Verifiable Information Flow Control
Gookwon Suh Submitted by Gookwon Suh on January 8th, 2020
File
Computing Over Distributed Sensitive Data
Submitted by Stephen Chong on January 8th, 2020
File
Automating Countermeasures and Security Evaluation against Software Side-channel Attacks
Submitted by Yunsi Fei on January 8th, 2020
File
Enabling Precise and Automated Insecurity Analysis of Middleware on Mobile Platforms
Submitted by Qiang Zeng on January 7th, 2020
File
Automated Support for Writing High-Assurance Smart Contracts
Submitted by Jan Hoffman on January 7th, 2020
File
SaTC: Core: Medium: Protecting Confidentiality and Integrity of Deep Neural Networks against Side-channel and Fault Attacks
Submitted by Yunsi Fei on October 17th, 2019
File
ProXray: Protocol Model Learning and Guided Firmware Analysis
Submitted by Kevin Butler on October 17th, 2019
File
PCNC: Proof-Carrying Network Code
Submitted by Christian Skalka on October 17th, 2019
Subscribe to Formal Methods and Language-based Security