Yan Farba
Yan Farba
Affiliation: MPI-SP and Ruhr University Bochum
Affiliation: MPI-SP, Ruhr University Bochum
Pages in this Program
Triosecuris: Formally Verified Protection Against Speculative Control-Flow Hijacking
Combining Program and Protocol Analysis for Frontrunning Resistance in Smart Contracts
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑