Videos
How To Get Security Under Kontrol by Palina Tolmach
Using symbolic execution to increase smart contract security
At the forefront of ZK panel with Grigore Rosu (Runtime Verification) and Alp Bassa (Veridise)
Deep Dive into Formal Verification with Palina Tolmach
X Day Bucharest 2023 - ZK Rollups on MultiversX by Grigore Rosu
Istanbul, November 2023 - What did I learn by testing ERC-20?
Pi^2 — Universal Proof Systems - Grigore Rosu
TrustX November 2023 - The Symbolic Solidity Debugger by Raoul Schafranek
Working Workshops Bucharest October 2023 - Pi2, Proof of Proof
Working Workshops Bucharest October 2023 - VLSMs and the Muddy Children Puzzle (2)
Working Workshops Bucharest October 2023 - VLSMs and the Muddy Children Puzzle (1)
Working Workshops Bucharest October 2023 - A slice of Pi2
Working Workshops Bucharest October 2023 - MX Property Verification
Working Workshops Bucharest October 2023 - Kontrol, symbolic execution for Solidity
Working Workshops Bucharest October 2023 - The State of K
xDay by MultiversX - ZK Rollups on MultiversX by Grigore Rosu (04:06:07)
ETH Chicago 2023 - ERCx, Fast Checking of ERC standards and Beyond
IOSG OFR Singapore Talk | Komprehensive Approach to Smart Contract Security
OFR Paris | Generative World Architecture - QED: Universal Proof Systems. ZK for AI/ML & Blockchain by Grigore Rosu (23:39)
Multichain ERC20 - Fireside Chat: Order Flow Auctions and Credible Commitments (with Juan Conejero)
Multichain ERC20 - Security™: Auditing / Formal Methods by Juan Conejero
DeFi security Summit 2023 - Session 14: Formal Verification Panel (with Grigore Rosu)
DeFi security Summit 2023 - Session 14: Formal Verification by Palima Tolmach
EthCC - ERCx, Fast Checking of ERC standards and Beyond by Yliès Falcone
Blockchain Workshop Bucharest March 2023 - Optimizing the symbolic execution of KEVM by Ana Pantilie
Blockchain Workshop Bucharest March 2023 -K+SNARKs: Universal Truth Framework by Grigore Rosu
Blockchain Workshop Bucharest March 2023 - Panel: Challenges and Opportunities in Blockchain
Blockchain Workshop Bucharest March 2023 - K IDE by Radu Mereuta
Blockchain Workshop Bucharest March 2023 - Smart contract tooling using KEVM by Andrei Vacaru
Certora workshop - K Tutorial by Everett Hildenbrandt
IOSG OFR Denver - Universal Truth Framework by Grigore Rosu
IOSG OFR Denver - Panel: Security Life Cycle
Multichain ERC20 - Formal Verification and Security Panel
Multichain ERC20 - Universal Truth Framework By Grigore Rosu
Multichain ERC20 Spotlight Interview - Grigore Rosu
Multichain ERC20 Spotlight Interview - Everett Hildenbrandt
X Day - Universal Trust Framework by Grigore Rosu (4:42:24)
Arepas, Cumbia & Security - Panel about best security practices
Arepas, Cumbia & Security: Testing to Verification by Everett Hildenbrandt
Devcon Bogotá - Tackling Rounding Errors with Precision Analysis by Raoul Schaffranek
Devcon Bogotá - Formal Methods for the Working DeFi Dev by Rikard Hjort
DeFi Security Summit 2022 - Formal Verification of Foundry Tests
TrustX - Panel: Secure Coding
Runtime Verification - Security Techniques & Formal Verification for Developers @ Multichain ETH
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.
Supported features in the Solidity to IELE compiler | Grigore Rosu - CEO Runtime Verification Inc.