Mate Soos
@SoosMate
Hacker, security architect, and researcher. Hobbies: SAT solving/counting, accident investigations, symbolic execution, rc modeling, art.
505 Following 1.1K Followers
This is a great achievement by all involved -- and many have been involved: Gustavo and Emilio from the Echidna team (part of @trailofbits), @big_tech_sux from @vyperlang, @forkforkdog from @GuardianAudits, and of course @_schmitted, Martin & mysefl from @argotorg
Thanks!
Show more
