Skip to content
- Marius Băisan (Softbinator), Secure by design. How to build secure smart contracts (slides, video)
- Mădălina Bolboceanu (Bitdefender), Algorand (slides, video)
- Andrei Ciobanu (University of Bucharest), A brief history of bridging crypto currencies (slides, video)
- Alexandru Gâtu (Endava), Tokenizing employee benefits (slides, video)
- Augustin Jianu (CertSign), Digital identity using blockchain (slides, video)
- Cristian Kevorchian (University of Bucharest), An architectural strategy for self-sovereign identity (slides, video)
- Andrei Marinica (MultiversX), MultiversX smart contracts from specification to execution (slides, video)
- Radu Mereuță (RV), KIDE (slides, video)
- Ana Pantilie (RV), Optimizing the symbolic execution of KEVM (slides, video)
- Mihai Prunescu (University of Bucharest & IMAR), Zero-knowledge proofs (slides, video)
- Grigore Roșu (RV & University of Illinois Urbana-Champaign), K+SNARKs: universal truth framework (slides, video)
- Ștefan-Claudiu Susan (A. I. Cuza University of Iași), A test suite for smart contract vulnerability analysers (slides, video)
- Julian Sutherland (Nethermind), Horus: A formal verification tool for Starknet (slides, video)
- Radu Țițiu (Bitdefender), Homomorphic encryption (slides, video)
- Andrei Văcaru (RV), Smart contract tooling using KEVM (slides, video)
- Bogdan Vlad (genezio), Market making on Vega decentralized markets (slides, video)
- Vlad Zamfir (Ethereum Foundation & RV), Curiosities in multi-disciplinary crypto studies (video)