Formal Hardware Verification of InfoSec Primitives

Submitted by user123 on Fri, 07/16/2021 - 16:16
Author Name
Asan M. Basiri and Sandeep K. Shukla
Published In
accepted at IEEE Computer Society Annual Symposium on VLSI, Miami, Florida, USA, July
Year
2019