ICSE 2024 (series) / KLEE 2024 (series) / KLEE 2024 /
How the SHA-3 Buffer Overflow Was Found using KLEE
Tue 16 Apr 2024 10:06 - 10:28 at Maria Helena Vieira da Silva - Test Input Generation Chair(s): Sergey Mechtaev
Tue 16 AprDisplayed time zone: Lisbon change
Tue 16 Apr
Displayed time zone: Lisbon change
09:00 - 10:30 | Test Input GenerationKLEE at Maria Helena Vieira da Silva Chair(s): Sergey Mechtaev University College London | ||
09:00 22mTalk | Complex Test Input Generation in KLEE KLEE P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei | ||
09:22 22mTalk | Precise Lazy Initialization for Programs with Complex Heap Inputs KLEE P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto | ||
09:44 22mTalk | Automating Differential Testing with Over-approximate Symbolic Execution KLEE Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology | ||
10:06 22mTalk | How the SHA-3 Buffer Overflow Was Found using KLEE KLEE | ||