An abstract semantics tool for secure information flow of stack-based assembly programs

Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri. An abstract semantics tool for secure information flow of stack-based assembly programs. Microprocessors and Microsystems, 26(8):391-398, 2002. [doi]

Abstract

Abstract is missing.