Author: Rikard Hjort

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
MultiversX (formerly Elrond) gets new secure dev tooling and a formal semantics
Read MoreRikard Hjort
KWasm and KEwasm: executable semantics and formal verification tools for Ethereum 2.0
Read MoreRikard Hjort
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEventsSecurity ConsultingEcosystem SecurityERCxFAQ