2 citations · 2 across the 2 of their papers we have counts for
4 papers
Generation by lazy and invertible cellular automata over the Klein four-group
Edgar Alcalá-Arroyo, Alonso Castillo-Ramirez, Haobo Ma +1
Let and . We characterize the submonoid of generated by lazy and invertible cellular automata. A cellular automaton belongs to this su…
Targeted Fuzzing for Unsafe Rust Code: Leveraging Selective Instrumentation
David Paaßen, Jens-Rene Giesen, Lucas Davi
Rust is a promising programming language that focuses on concurrency, usability, and security. It is used in production code by major industry players and got recommended by govern…
EF/CF: High Performance Smart Contract Fuzzing for Exploit Generation
Michael Rodler, David Paaßen, Wenting Li +4
Smart contracts are increasingly being used to manage large numbers of high-value cryptocurrency accounts. There is a strong demand for automated, efficient, and comprehensive meth…
My Fuzzer Beats Them All! Developing a Framework for Fair Evaluation and Comparison of Fuzzers
David Paaßen, Sebastian Surminski, Michael Rodler +1
Fuzzing has become one of the most popular techniques to identify bugs in software. To improve the fuzzing process, a plethora of techniques have recently appeared in academic lite…