Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/cases/HollerPSKKBH13
@inproceedings{DBLP:conf/cases/HollerPSKKBH13, author = {Andrea H{\"{o}}ller and Christopher Preschern and Christian Steger and Christian Kreiner and Armin Krieg and Holger Bock and Josef Haid}, title = {Automatized high-level evaluation of security properties for {RTL} hardware designs}, booktitle = {Proceedings of the Workshop on Embedded Systems Security, {WESS} 2013, Montreal, Quebec, Canada, September 29 - October 4, 2013}, pages = {6:1--6:8}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2527317.2527323}, doi = {10.1145/2527317.2527323}, timestamp = {Tue, 06 Nov 2018 11:07:42 +0100}, biburl = {https://dblp.org/rec/conf/cases/HollerPSKKBH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.