drdrey

Karma: 1,826
Created: 11 years ago

About

dreynaud.fail

[ my public key: https://keybase.io/dreynaud; my proof: https://keybase.io/dreynaud/sigs/ClYpOl4mWSBHYzAwHMzscXuzBJffIQ0D9gqygBHQTlg ]

Recent Submissions

1. ▲ Zellic's and V12's Work on x86 Binary Formal Verification (v12.sh) 2 points · 7 days ago · 0 comments

All submissions on HN · View profile on HN