Open main menu
about
Company
Team
Videos
FAQ
services
Formal Verification
Smart Contract Auditing
Ecosystem Security
Security Consulting
products
ERCx
K
KaaS
Kasmer
Kontrol
Simbolik
research
blog
CONTACT US
Partner: IOHK
Categories
All Articles
Audits
K
ERCx
News
Smart Contracts
Verification
IELE: A New Virtual Machine for the Blockchain
by
Grigore Roșu
December 15th, 2017
Read More
New Technologies for the Blockchain: IELE (virtual machine) and K (universal language framework)
by
Grigore Roșu
October 25th, 2017
Read More
Let's Make the Ethereum Virtual Machine Better
by
Grigore Roșu
September 4th, 2017
Read More
Audits by formal methods experts.
Mission and Vision
Presentations
Careers
News
Publications
Partnerships
Media Kit
Events