Pietro Nannipieri, Stefano Di Matteo, Luca Crocetti, Luca Zulberti, Luca Fanucci, Sergio Saponara. Cycle-Accurate Verification of the Cryptographic Co-Processor for the European Processor Initiative. In Francesco Bellotti, Miltos D. Grammatikakis, Ali Mansour, Massimo Ruo Roch, Ralf Seepold, Agusti Solanas, Riccardo Berta, editors, Applications in Electronics Pervading Industry, Environment and Society - APPLEPIES 2023, Genoa, Italy, 28-29 September 2023. Volume 1110 of Lecture Notes in Electrical Engineering, pages 378-385, Springer, 2023. [doi]
Abstract is missing.