File
SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
CRII: SaTC: Techniques for Measuring and Characterizing Robocalls
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
CAREER: Cryptographic Security at Internet Scale
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Short vectors in lattices
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Enacting Cybersecurity Expertise
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Scalable Dynamic Access Control for Untrusted Cloud Environments
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Defending Against Social Engineering Attacks with In-Browser AI
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
CAREER: Understanding the Cognitive Processes of Computer Network Defense
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
SaTC: Small: Understanding and Taming Deterministic Model Bit Flip Attacks in Deep Neural Networks
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
Subscribe to SaTC PI Meeting 2022