Defense-in-Depth techniques for memory safety in hardware
Fields of Study & Subjects
Security and Verification in Computing
Logic
programming
and type systems
Distributed systems and fault tolerance
Publication details
- Journal / source
- TUGraz OPEN Library (Graz University of Technology)
- Publication date
- 4 February 2026