File
SaTC: CORE: Small: Detecting Vulnerabilities and Remediations in Software Dependencies
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Timing Based Security in Real-Time Systems: T-SYS & T_Pack
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Tracking User Behavior, Cognitive Burdens, and the Impact of Behavioral Nudging on Security Updates by Young and Older Adults
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Towards Automated Asset-Vulnerability Mapping for Vulnerability Management
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Collaborative Research: SaTC: CORE: Medium: Rethinking Fuzzing for Security
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Software-State Observability in CPS
Submitted by Jason Rife on April 10th, 2020
File
Symbolic Execution for Simple R
Submitted by Stephen Chong on February 5th, 2020
File
Snout, an IoT Pentesting-Tool
Submitted by David Starobinski on February 5th, 2020
File
Secure and Scalable Network Packet Processing Using OpenNetVM and mTCP
Submitted by Timothy Wood on February 5th, 2020
Subscribe to Software