Author: Gregory Makodzeba

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
How We Build Formal Verification and Fuzzing Tools: Bridging the Gap Between Developers and Advanced Security Tooling with the K Framework
Read MoreGregory Makodzeba
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEventsSecurity ConsultingEcosystem SecurityFAQ