Decipher | Best Practices for Securing Algorand’s Smart Contracts
Privacy and Security in DeFi
Whiteboard Series with NEAR | Ep: 39 Rikard Hjort from Runtime Verification
DefiSummer hackathon | K Framework for DeFi Projects
0xHack | K Framework for Smart Contract Formal Verification
Hello Decentralization // 22nd - 26th February, 2021 - Crowdcast
Nomadic Labs Research Seminars #8 | Bringing K Powered Blockchain Security to Tezos
Hello Smart Audit 2021 | K Powered Blockchain Security
TruffleCon 2020 | Everett Hildenbrandt | Firefly: Smart Contract Quality Assurance
TruffleCon 2020 | Everett Hildenbrandt | How to use Firefly to enhance your Truffle test suite
CPP 2020 New Orleans Keynote | Matching Logic: The Foundation of the K Framework
Rikard Hjort | Formal Verification and Smart Contracts
CPH FinTech Week 2019 Keynote | Formal Design, Implementation and Verification of Blockchain Languages
CPH FinTech Week 2019 Panel | From Blockchain Infrastructure to Decentralised Applications
Prof. Grigore Rosu | IEEE ICBC Seoul 2019 Keynote
Prof. Grigore Rosu | Inspirations Behind The K framework
Microsoft Research 2019 | Prof. Grigore Rosu - CEO of Runtime Verification
Microsoft Research 2016 | Prof. Grigore Rosu - CEO of Runtime Verification
IOHK | Formal Design, Implementation and Verification | Prof. Grigore Rosu - CEO of Runtime Verification
IOHK | K framework and Cardano | Prof. Grigore Rosu - CEO of Runtime Verification
IOHK | Semantics Based Compilation - IELE Testnet | Prof. Grigore Rosu - CEO of Runtime Verification
IOHK | Runtime Verification | Prof. Grigore Rosu - CEO of Runtime Verification
Webcast with Prof. Grigore Rosu - CEO of Runtime Verification
Webcast: The K framework - a framework to formally define all programming languages
IOHK | KEVM Presentation | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification
An introduction to K Lab (developed by DappHub) | Everett Hildenbrandt - Formal Modelling Engineer at Runtime Verification
What is IELE? | Grigore Rosu - CEO Runtime Verification Inc.
What is KEVM? | Grigore Rosu - CEO Runtime Verification Inc.
K for KEVM and IELE | Grigore Rosu - CEO Runtime Verification Inc.
KEVM and IELE performance | Grigore Rosu - CEO Runtime Verification Inc.
Writing and reading IELE programs | Grigore Rosu - CEO Runtime Verification Inc.
Supported features in the Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.
Secure code on Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.
The role of KEVM and IELE testnets | Grigore Rosu - CEO Runtime Verification Inc.