Johannes Loinig, Christian Steger, Reinhold Weiss, Ernst Haselsteiner. Towards formal system-level verification of security requirements during hardware/software codesign. In Thomas Büchner, Ramalingam Sridhar, Andrew Marshall, Norbert Schuhmann, editors, Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings. pages 388-391, IEEE, 2010. [doi]
@inproceedings{LoinigSWH10-1,
title = {Towards formal system-level verification of security requirements during hardware/software codesign},
author = {Johannes Loinig and Christian Steger and Reinhold Weiss and Ernst Haselsteiner},
year = {2010},
doi = {10.1109/SOCC.2010.5784702},
url = {http://dx.doi.org/10.1109/SOCC.2010.5784702},
researchr = {https://researchr.org/publication/LoinigSWH10-1},
cites = {0},
citedby = {0},
pages = {388-391},
booktitle = {Annual IEEE International SoC Conference, SoCC 2010, September 27-29, 2010, Las Vegas, NV, USA, Proceedings},
editor = {Thomas Büchner and Ramalingam Sridhar and Andrew Marshall and Norbert Schuhmann},
publisher = {IEEE},
isbn = {978-1-4244-6682-5},
}