Users following solace-fi
Guillaume Claret
clarus
Security researcher at @formal-land π² for Web3 applications
Applying the π proof system to find all the vulnerabilities.
π»ββοΈ
Formal Land Paris
Alex Beaver
alexander-beaver
Enabling Security at Scale through Network Security Automation
Paramount Global New York, NY