Toggle navigation
Otsing
Kollektsioonid
Registrid
Abi ja info
Digikogu
Otsing
Kollektsioonid
Registrid
Abi ja info
Intranet
Logi sisse
pealkiri
Aruka lepingu turvalisuse analüüsimise boti disainimine ja rakendamine
Design and Implementation of a Smart Contract Security Analysis Bot
autor
Pujol I Saumell, Martí
märksõnad
bakalaureusetööd
arukas leping
bot
Ethereum
haavatavus
Mythril
plokiahel
Python
Sepolia
Slither
staatiline analüsaator
sümboolne täitmine
bachelors theses
smart contract
vulnerability
blockchain
static analyzer
symbolic execution
juhendaja
Lepikult, Toomas
õppekava
Küberturbe tehnoloogiad
Cyber Security Engineering
kaitsmiskuupäev
09.06.2026
keel
eng
asutus
Tallinna Tehnikaülikool
Tallinn University of Technology
teaduskond
infotehnoloogia teaduskond
School of Information Technologies
instituut / kolledž
IT kolledž
IT College
Laadi alla täistekst
pdf
858 KB