Previous Work

The following list shows some examples of prior work that inspires the future topics.

  1. Poeplau, S., & Francillon, A. (2021). SymQEMU: Compilation-Based Symbolic Execution for Binaries. Proceedings of the 2021 Network and Distributed System Security Symposium.
  2. Poeplau, S., & Francillon, A. (2020). Symbolic Execution with SymCC: Don’t Interpret, Compile! 29th USENIX Security Symposium (USENIX Security 20), 181–198.
  3. Muench, M., Stijohann, J., Kargl, F., Francillon, A., & Balzarotti, D. (2018). What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices. NDSS.
  4. Wichelmann, J., Moghimi, A., Eisenbarth, T., & Sunar, B. (2018). Microwalk: A Framework for Finding Side Channels in Binaries. Proceedings of the 34th Annual Computer Security Applications Conference, 161–173.