17 citations · 31 across the 17 of their papers we have counts for
3 papers · 2 filters
Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report)
Ayushi Sharma, Shashank Sharma, Santiago Torres-Arias +1
Embedded software is used in safety-critical systems such as medical devices and autonomous vehicles, where software defects, including security vulnerabilities, have severe conseq…
ZTD: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
Paschal C. Amusuo, Kyle A. Robinson, Tanmay Singla +5
Third-party libraries like Log4j accelerate software application development but introduce substantial risk. Vulnerabilities in these libraries have led to Software Supply Chain (S…
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Liyi Li, Arunkumar Bhattar, Le Chang +2
Spatial memory safety violation is still a major issue for C programs. Checked-C is a safe dialect of C and extends it with Checked pointer types and annotations that guarantee spa…