header
Sanford
Chercheur en sécurité | Spécialiste EVM | Vérification formelle | Protéger l’intégrité de la chaîne de blocs | Ouvert aux collaborations | #EVM | #FormalVerification