File
SaTC:CORE:Small:Techniques for Software Model Checking of Hyperproperties
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Towards a Usable, Practical, and Provably Secure Browser Infrastructure
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC: CORE: Small: Techniques for Software Model Checking of Hyperproperties
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Towards a Usable, Practical, and Provably Secure Browser Infrastructure
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Towards a Usable, Practical, and Provably Secure Browser
Submitted by Limin Jia on January 8th, 2020
File
Advanced Trace-oriented Binary Code Analysis
Submitted by Dinghao Wu on January 8th, 2020
File
Bridging the Gap between Protocol Design and Implementation through Automated Mapping
Submitted by Anonymous on January 6th, 2020
Subscribe to Formal Methods and Language-based Security Software