Posts tagged Symbolic Execution

Automatic Firmware Emulation through Invalidity-guided Knowledge Inference

Link: https://www.usenix.org/confere/usenixsecurity21/presentation/zhou

Code: https://github.com/MCUSec/uEmu

Read more ...

LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks (USENIX Security’21)

Paper & Presentation: https://www.usenix.org/conference/usenixsecurity21/presentation/wu-jianliang

Bluetooth standards and their implementations are diverse and complex, which contains many functionalities that never be required in the common scenarios. Those useless parts actually extend the attack surface.

Workflow of

Read more ...