Yearly Archives: 2022

How to share what you’ve learned from our audits December 22, 2022

Fast and accurate syntax searching for C and C++ December 22, 2022

What child is this? December 20, 2022

How I gave ManticoreUI a makeover December 15, 2022

Manticore GUIs made easy December 13, 2022

Hybrid fuzzing: Sharpening the spikes of Echidna December 8, 2022

Specialized Zero-Knowledge Proof failures November 29, 2022

ABI compatibility in Python: How hard could it be? November 15, 2022

We’re streamers now November 14, 2022

Look out! Divergent representations are everywhere! November 10, 2022