%0 Conference Paper %1 conf/applepies/NannipieriMCZFS23 %A Nannipieri, Pietro %A Matteo, Stefano Di %A Crocetti, Luca %A Zulberti, Luca %A Fanucci, Luca %A Saponara, Sergio %B ApplePies %D 2023 %E Bellotti, Francesco %E Grammatikakis, Miltos D. %E Mansour, Ali %E Roch, Massimo Ruo %E Seepold, Ralf %E Solanas, Agusti %E Berta, Riccardo %I Springer %K dblp %P 378-385 %T Cycle-Accurate Verification of the Cryptographic Co-Processor for the European Processor Initiative. %U http://dblp.uni-trier.de/db/conf/applepies/applepies2023.html#NannipieriMCZFS23 %V 1110 %@ 978-3-031-48121-5

@inproceedings{conf/applepies/NannipieriMCZFS23, added-at = {2024-01-26T00:00:00.000+0100}, author = {Nannipieri, Pietro and Matteo, Stefano Di and Crocetti, Luca and Zulberti, Luca and Fanucci, Luca and Saponara, Sergio}, biburl = {https://www.bibsonomy.org/bibtex/2e5b8c831c3b8bc8ab2f87e3ad46e0a48/dblp}, booktitle = {ApplePies}, crossref = {conf/applepies/2023}, editor = {Bellotti, Francesco and Grammatikakis, Miltos D. and Mansour, Ali and Roch, Massimo Ruo and Seepold, Ralf and Solanas, Agusti and Berta, Riccardo}, ee = {https://doi.org/10.1007/978-3-031-48121-5_54}, interhash = {8d07503fb6a779fc9a660b67a5f39d62}, intrahash = {e5b8c831c3b8bc8ab2f87e3ad46e0a48}, isbn = {978-3-031-48121-5}, keywords = {dblp}, pages = {378-385}, publisher = {Springer}, series = {Lecture Notes in Electrical Engineering}, timestamp = {2024-04-09T17:31:30.000+0200}, title = {Cycle-Accurate Verification of the Cryptographic Co-Processor for the European Processor Initiative.}, url = {http://dblp.uni-trier.de/db/conf/applepies/applepies2023.html#NannipieriMCZFS23}, volume = 1110, year = 2023 }