Low-overhead software transformation to enforce information security policies

D Naumann, A Chudnov, A Nogin, P Sylla - US Patent 10,904,291, 2021 - Google Patents
Described is a system for enforcing software policies. The system transforms an original
software by inserting addi tional instructions into the original software. The additional …

[PDF][PDF] Toward a Lingua Franca for Memory Safety.

D Racordon, A Coet, D Buchs - J. Object Technol., 2022 - researchgate.net
Memory safety checking seeks to protect programs from a wide spectrum of software
problems related to memory access and management, such as using unallocated or …