A case against indirect jumps for secure programs

Alexandre Gonzalvez (1, 2, 3) , Ronan Lashermes (4, 2)

1 TAMIS - Threat Analysis and Mitigation for Information Security
2 Inria Rennes – Bretagne Atlantique
3 IMT Atlantique - INFO - Département Informatique
4 SED [Rennes] - Service Expérimentation et Développement

Mots clés: control flow integrity; control flow graph; instruction set architecture

Domaines: Informatique [cs]; Cryptographie et sécurité [cs.CR]; Informatique et langage [cs.CL]

Alexandre Gonzalvez, Ronan Lashermes. A case against indirect jumps for secure programs. SSPREW-9 2019: 9th Software Security, Protection, and Reverse Engineering Workshop, Dec 2019, San Juan, United States. pp.1-10, ⟨10.1145/3371307.3371314⟩. ⟨hal-02382711⟩