Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco. Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J., 47(1):25-45, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.