Pramod Subramanyan, Divya Arora
Formal verification of taint-propagation security properties in a commercial SoC design
DATE, 2014.
@inproceedings{DATE-2014-SubramanyanA,
author = "Pramod Subramanyan and Divya Arora",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.326",
pages = "1--2",
publisher = "{IEEE}",
title = "{Formal verification of taint-propagation security properties in a commercial SoC design}",
year = 2014,
}