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]
@article{BernardeschiFL02,
title = {An abstract semantics tool for secure information flow of stack-based assembly programs},
author = {Cinzia Bernardeschi and Nicoletta De Francesco and Giuseppe Lettieri},
year = {2002},
doi = {10.1016/S0141-9331(02)00064-9},
url = {http://dx.doi.org/10.1016/S0141-9331(02)00064-9},
tags = {semantics, rule-based, data-flow programming},
researchr = {https://researchr.org/publication/BernardeschiFL02},
cites = {0},
citedby = {0},
journal = {Microprocessors and Microsystems},
volume = {26},
number = {8},
pages = {391-398},
}