A New Approach to Control Flow Checking Without Program Modification

T. Michel, RĂ©gis Leveugle, Gabriele Saucier. A New Approach to Control Flow Checking Without Program Modification. In FTCS. pages 334-343, 1991.