Chris Morrison is VP Product Marketing at Agile Analog, the customizable analog IP company. He has over 18 years’ experience of developing strong relationships with key partners across the semiconductor industry and delivering innovative analog, digital, power management and audio products, working for international companies… Read More
Formal verification is becoming essential in the design and implementation of cryptographic systems, particularly as the industry prepares for post-quantum cryptography (PQC). While traditional testing techniques validate correctness over a finite set of scenarios, formal verification uses mathematical proofs to guarantee… Read More
A crucial step in helping any new technology specification gain adoption is certification. NIST has been hard at work establishing more than post-quantum cryptography algorithms – they’ve also integrated the new algorithms into their process for third-party validation testing to ensure implementations are as advertised.… Read More
