1. 2019. Pointer Authentication. https://github.com/apple/llvm-project/blob/apple/main/clang/docs/PointerAuthentication.rst Documentation for Apple’s fork of LLVM 2019. Pointer Authentication. https://github.com/apple/llvm-project/blob/apple/main/clang/docs/PointerAuthentication.rst Documentation for Apple’s fork of LLVM
2. Apple. 2021. ARMv8.3 Pointer Authentication in xnu. https://opensource.apple.com/source/xnu/xnu-7195.50.7.100.1/doc/pac.md Apple. 2021. ARMv8.3 Pointer Authentication in xnu. https://opensource.apple.com/source/xnu/xnu-7195.50.7.100.1/doc/pac.md
3. Brandon Azad. 2019. Examining Pointer Authentication on the iPhone XS. https://googleprojectzero.blogspot.com/2019/02/examining-pointer-authentication-on.html Google Project Zero Brandon Azad. 2019. Examining Pointer Authentication on the iPhone XS. https://googleprojectzero.blogspot.com/2019/02/examining-pointer-authentication-on.html Google Project Zero
4. Ricardo Bedin França , Denis Favre-Felix , Xavier Leroy , Marc Pantel , and Jean Souyris . 2011 . Towards Optimizing Certified Compilation in Flight Control Software. In Workshop on Predictability and Performance in Embedded Systems (PPES 2011) (OpenAccess Series in Informatics , Vol. 18). Dagstuhl Publishing, 59– 68 . http://hal.archives-ouvertes.fr/inria-00551370/ Ricardo Bedin França, Denis Favre-Felix, Xavier Leroy, Marc Pantel, and Jean Souyris. 2011. Towards Optimizing Certified Compilation in Flight Control Software. In Workshop on Predictability and Performance in Embedded Systems (PPES 2011) (OpenAccess Series in Informatics, Vol. 18). Dagstuhl Publishing, 59–68. http://hal.archives-ouvertes.fr/inria-00551370/
5. Verified Compilation for Shared-Memory C