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