SAFER: Efficient and Error-Tolerant Binary Instrumentation. - Soumyakant Priyadarshan; Huan Nguyen 004; Rohit Chouhan; R. Sekar 001 (USENIX Security Symposium, 2023)