A technical paper titled “A Scalable Formal Verification Methodology for Data-Oblivious Hardware” was published by Read More →