The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Formal verification of taint-propagation security properties in a commercial SoC design
The work
| Authors | Pramod Subramanyan; Divya Arora |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2014 |
| Citekey | subramanyan2014formal |
Where it appeared
| Published in | Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014 |
|---|---|
| Publisher | IEEE Conference Publications |
| Pages | 1--2 |
Identifiers
| DOI | 10.7873/date2014.326 |
|---|
Access
| Landing page | https://doi.org/10.7873/date2014.326 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-23 18:51 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{subramanyan2014formal,
title = {Formal verification of taint-propagation security properties in a commercial SoC design},
author = {Pramod Subramanyan and Divya Arora},
year = {2014},
booktitle = {Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 2014},
publisher = {IEEE Conference Publications},
pages = {1--2},
doi = {10.7873/date2014.326},
}
This record lives at https://refs.drheap.org/subramanyan2014formal/ and will keep doing so.