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
arukas leping
Mythril
Sepolia
Slither
staatiline analüsaator
sümboolne täitmine
static analyzer
symbolic execution
kaitsmiskuupäev
keel
instituut / kolledž