David Pointcheval is a French cryptographer. He is currently a Senior Researcher at CNRS. He is head of the Computer Science Department and Cryptography Laboratory at the École normale supérieure. He is mainly known for his contributions in the area of provable security, including the Forking lemma,[1] the Pointcheval-Stern signature algorithm, and his contributions to Password-authenticated key agreement.[2]