File
SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Security and Privacy Foundations of Internet-Scale User-Centered Automation
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SaTC STARSS: Tackling the Corner Cases: Finding Security Vulnerabilities in CPU Designs
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Automatic Software Patching against Microarchitectual Attacks
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Building Secure Applications with Non-Static Information Flow Policies
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
ProperData: Protecting Personal Data Flow on the Internet
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Advancing Cybersecurity Education to Human-Level Artificial Intelligence
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
Subscribe to Formal Methods and Language-based Security