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
xDay by MultiversX - ZK Rollups on MultiversX by Grigore Rosu (04:06:07)
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
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
K for KEVM and IELE | Grigore Rosu - CEO Runtime Verification Inc.