Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
Formal Land Paris
Robert Tolar Haining
rhaining
currently Aura @pushd; formerly @generalgalactic, @NuggetAudio, @venmo, @paypal, @braintree, modest, @digg, news.me, @CondeNast, cox newspapers
@pushd Brooklyn, New York