We presented a 2 hour workshop on our symbolic analysis toolkit, Manticore at GreHack '17. The event served as a basic introduction to Manticore and an opportunity for attendees to work on sample problems.
Presented at
Authored by
- Yan Ivnitskiy
We presented a 2 hour workshop on our symbolic analysis toolkit, Manticore at GreHack '17. The event served as a basic introduction to Manticore and an opportunity for attendees to work on sample problems.
Presented at
Authored by