Author: Denis Bogdănaș

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
A Formal Model in K of the Beacon Chain: Ethereum 2.0’s Primary Proof-of-Stake Blockchain
Read MoreMusab Alturki
ERC777-K: Formal Executable Specification of ERC777
ERC777-K: Formal Executable Specification of ERC777
by Denis Bogdănaș
September 21st, 2018
Read MoreDenis Bogdănaș
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEvents