Master Thesis: Exploring Hardware-Assisted Type Safety in C++
Core
Investigate hardware-assisted technologies to strengthen protection against type-related vulnerabilities in C++ without restricting idiomatic usage or adding prohibitive runtime overhead.
Role type
Master's thesis researcher (software security & programming languages)
Builds
Proof of concept for dynamic type-enforcement schemes on hardware-assisted platforms
Domain
Software security, programming languages, systems programming
Deliverable
research
Required skills
Systems programming in C/C++, Linux processes and runtime security, understanding of complex C++ class hierarchies and polymorphism
Preferred skills
Familiarity with assembly, knowledge of TypeSan/EffectiveSan/Type++, experience with CHERI or MTE
Technologies
CHERI, MTE, TypeSan, EffectiveSan, Type++, C++, Linux
Responsibilities
Review and evaluate hardware-assisted technologies for enforcing type safety; Design a practical dynamic type-enforcement scheme; Build a proof of concept; Evaluate security coverage, compatibility, and performance overhead
Seniority
Master's student researcher
