The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)

Systematic and Scalable Memory Safety Assurance for Embedded Software Systems

Author

Paschal Chukwuebuka Amusuo

Tech report number

2026-2

Entry type

phdthesis

Publication Date

2026-07-28

Location

A hard-copy of this is in the Papers Cabinet

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.