It Doesn’t Have to Be So Hard: Efficient Symbolic Reasoning for CRC

Vaibhav Sharma (University of Minnesota), Navid Emamdoost (University of Minnesota), Seonmo Kim (University of Minnesota), Stephen McCamant (University of Minnesota)

Paper

Slides

View More Papers

Mnemocrypt

André Pacteau, Antonino Vitale, Davide Balzarotti, Simone Aonzo (EURECOM)

A Comparative Study of Program Graph Effectiveness for Binary...

Michael Kadoshnikov, Clemente Izurieta, Matthew Revelle (Montana State University)

Polypyus – The Firmware Historian

Jan Friebertshauser, Florian Kosterhon, Jiska Classen, Matthias Hollick (Secure Mobile Networking Lab, TU Darmstad)