Kristin Lauter
- Formal Mathematical Reasoning: A New Frontier in AI
2024/12/20 by Kaiyu Yang, Gabriel Poesia, Yang, Kaiyu +11 · 2 voices · 32 citations
Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #AI-based Problem Solving and Planning
- Variations of the McEliece Cryptosystem
2016/12/15 by Jessalyn Bolkema, Heide Gluesing-Luerssen, Bolkema, Jessalyn +9 · 3 citations
Computer Science · Engineering · #Coding theory and cryptography #Chaos-based Image/Signal Encryption #graph theory and CDMA systems
- Computing Modular Polynomials
2004/08/03 by Denis Charles, Kristin Lauter, Charles, Denis +1 · 2 citations
Computer Science · Mathematics · #11G18 #11Y16 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Cryptography and Residue Arithmetic #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation #math.AG #math.NT #msc:11G18 #msc:11Y16
- The cool and the cruel: separating hard parts of LWE secrets
2024/03/15 by Niklas Nolte, N. S. Nolte, Mohamed Malhou +13 · 1 voice · 2 citations
Computer Science · #Cryptographic Implementations and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Polynomial and algebraic computation #cs.CR
- Provably weak instances of Ring-LWE
2015/02/12 by Yara Elias, Elias, Yara, Kristin Lauter +5 · 2 citations
Computer Science · #11T71 #94A60 #Coding theory and cryptography #Cryptography and Data Security #Cryptography and Residue Arithmetic #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Number Theory (math.NT)
- Crypto-Nets: Neural Networks over Encrypted Data
2014/12/18 by Pengtao Xie, Xie, Pengtao, Misha Bilenko +9 · 2 citations
Computer Science · #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Internet Traffic Analysis and Secure E-voting #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Privacy-Preserving Technologies in Data
- Fast Elliptic Curve Arithmetic and Improved Weil Pairing Evaluation
2002/08/05 by Kirsten Eisentraeger, Kristin Lauter, Eisentraeger, Kirsten +3 · 2 citations
Computer Science · Mathematics · #11T71 #14G50 #Algebraic Geometry and Number Theory #Cryptography and Residue Arithmetic #FOS: Mathematics #Number Theory (math.NT) #Polynomial and algebraic computation #math.NT #msc:11T71 #msc:14G50
- SALSA VERDE: a machine learning attack on Learning With Errors with sparse small secrets
2023/06/20 by Yue Li, Emily Wenger, Li, Cathy Yuanchen +7 · 3 citations
Computer Science · #Cryptography and Data Security #Coding theory and cryptography #Cryptography and Residue Arithmetic
- Benchmarking Attacks on Learning with Errors
2024/08/01 by Emily Wenger, Wenger, Emily, Eshika Saxena +7 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning and Algorithms
- A Cryptographic Hash Function from Markoff Triples
2021/07/22 by Elena Fuchs, Fuchs, Elena, Kristin Lauter +5 · 1 citation
Computer Science · #Coding theory and cryptography #Cryptographic Implementations and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #FOS: Mathematics #Number Theory (math.NT)