Sabbatperiode Tom Holvoet: Studie en verificatie van kwetsbaarheden in ‘smart contracts’ voor gedecentraliseerde softwaresystemen in een blockchain-omgeving KU Leuven
Tijdens deze sabbatical zal ik de tijd nemen om het opkomende en opwindende veld van ‘Slimme contracten in blockchain-omgevingen’ grondig te bestuderen om zo een solide basis te leggen voor verder onderzoek. Thema's in dit onderzoek kunnen zijn: - Toegestane en toestemmingloze blockchain-architecturen / Web3-applicatie-architecturen - Slimme contractprogrammeerparadigma's en -talen (Solidity en Vyper) - Kwetsbaarheden in slimme contracten ...