Pierre-Yves is a researcher in formal methods and their application to the certification of cryptographic algorithms & high-performance implementations. He holds a Ph.D. from École Polytechnique, France.
Pierre-Yves is a researcher in formal methods and their application to the certification of cryptographic algorithms & high-performance implementations. He holds a Ph.D. from École Polytechnique, France.