Abstract
A type system approach to Lang-Sec used to protect critical infrastructure from code injection attacks by parsing commands from untrusted nodes connected to the network. Taking advantage of the well-defined strong, statically typed commands in cyber-physical systems to write all possible inputs in a formal language. Rust’s rich type system allows parser to act as an interpreter for that language, rejecting all invalid inputs.
| Original language | American English |
|---|---|
| State | Published - 2023 |
| Event | 2023 Annual INL Intern Poster Session - Idaho Falls, United States Duration: Aug 3 2023 → Aug 3 2023 https://internpostersession.inl.gov/SitePages/Home.aspx |
Conference
| Conference | 2023 Annual INL Intern Poster Session |
|---|---|
| Country/Territory | United States |
| City | Idaho Falls |
| Period | 08/3/23 → 08/3/23 |
| Internet address |
Fingerprint
Dive into the research topics of 'Implementing Type-driven System Architecture to Eliminate Code injections in Cyber-Physical Systems'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver