%0 Conference Paper %1 conf/host/OkamotoHAM14 %A Okamoto, Kotaro %A Homma, Naofumi %A Aoki, Takafumi %A Morioka, Sumio %B HOST %D 2014 %I IEEE Computer Society %K dblp %P 76-79 %T A hierarchical formal approach to verifying side-channel resistant cryptographic processors. %U http://dblp.uni-trier.de/db/conf/host/host2014.html#OkamotoHAM14 %@ 978-1-4799-4114-8

@inproceedings{conf/host/OkamotoHAM14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Okamoto, Kotaro and Homma, Naofumi and Aoki, Takafumi and Morioka, Sumio}, biburl = {https://www.bibsonomy.org/bibtex/24967e83a70611fe6e387ad051b1234dc/dblp}, booktitle = {HOST}, crossref = {conf/host/2014}, ee = {https://doi.ieeecomputersociety.org/10.1109/HST.2014.6855572}, interhash = {7b41e4e073d7e2b8dffd2b7f1f3958cf}, intrahash = {4967e83a70611fe6e387ad051b1234dc}, isbn = {978-1-4799-4114-8}, keywords = {dblp}, pages = {76-79}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:54:30.000+0200}, title = {A hierarchical formal approach to verifying side-channel resistant cryptographic processors.}, url = {http://dblp.uni-trier.de/db/conf/host/host2014.html#OkamotoHAM14}, year = 2014 }