Schaumont, Patrick

1. Signature Correction Attack on Dilithium Signature Scheme
   2022/03/01 by Saad Islam, Islam, Saad, Koksal Mus +7 · 2 citations
   Computer Science · #Quantum Computing Algorithms and Architecture #Cryptographic Implementations and Security #Cryptography and Data Security
2. Report on the NSF Workshop on Formal Methods for Security
   2016/08/02 by Stephen Chong, Joshua Guttman, Chong, Stephen +13 · 1 citation
   Computer Science · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.CR #cs.LO
3. Eliminating Timing Side-Channel Leaks using Program Repair
   2018/06/06 by Meng Wu, Wu, Meng, Shengjian Guo +5 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Security and Verification in Computing #Software Engineering (cs.SE) #cs.CR #cs.PL #cs.SE
4. Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures\n against Fault Injection
   2020/11/27 by Pantea Kiaei, Kiaei, Pantea, Cees-Bart Breunesse +7 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #Digital and Cyber Forensics #FOS: Computer and information sciences #Security and Verification in Computing
5. TreeRNN: Topology-Preserving Deep GraphEmbedding and Learning
   2020/06/21 by Yecheng Lyu, Ming Li, Lyu, Yecheng +9 · 1 citation
   Computer Science · #Advanced Graph Neural Networks #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #FOS: Electrical engineering #Graph Theory and Algorithms #Image and Video Processing (eess.IV) #Topological and Geometric Data Analysis #electronic engineering #information engineering