Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Formal Methods and Language-based Security Software Systems

file

New Defenses for Data-Only Attacks

Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributor:

Jeff Huang

file

CAREER: Towards a Secure and Reliable Internet of Things through Automated Model Extraction and Analysis

Submitted by JasonGigax on Wed, 06/22/2022 - 3:21pm. Contributor:

Tuba Yavuz

file

Reasoning about Dependencies and Information Flow in Dynamic Code

Submitted by JasonGigax on Wed, 06/22/2022 - 3:13pm. Contributor:

Saumya Debray

file

Understanding and Detecting Memory Bugs in Rust

Submitted by JasonGigax on Wed, 06/22/2022 - 2:39pm. Contributors:

file

SaTC: CORE: Medium: Collaborative: Bridging the Gap Between Protocol Design and Implementation through Automated Mapping

Submitted by JasonGigax on Wed, 06/22/2022 - 2:38pm. Contributors:

file

Rethinking Toolchain Design for Rust

Submitted by JasonGigax on Mon, 06/20/2022 - 11:26am. Contributors:

Terms of Use | ©2023. CPS-VO