Patrick Schaumont
- 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
- 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
- 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)
- 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
- 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