prikaz prve stranice dokumenta Statička analiza pametnih ugovora na platformi Ethereum
No public access
master's thesis
Statička analiza pametnih ugovora na platformi Ethereum
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. urn:nbn:hr:168:109096
Bagić, Blaž
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Bagić, B. (2020). Statička analiza pametnih ugovora na platformi Ethereum (Master's thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:109096

Bagić, Blaž. "Statička analiza pametnih ugovora na platformi Ethereum." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. https://urn.nsk.hr/urn:nbn:hr:168:109096

Bagić, Blaž. "Statička analiza pametnih ugovora na platformi Ethereum." Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2020. https://urn.nsk.hr/urn:nbn:hr:168:109096

Bagić, B. (2020). 'Statička analiza pametnih ugovora na platformi Ethereum', Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 13 January 2025, https://urn.nsk.hr/urn:nbn:hr:168:109096

Bagić B. Statička analiza pametnih ugovora na platformi Ethereum [Master's thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2020 [cited 2025 January 13] Available at: https://urn.nsk.hr/urn:nbn:hr:168:109096

B. Bagić, "Statička analiza pametnih ugovora na platformi Ethereum", Master's thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2020. Available at: https://urn.nsk.hr/urn:nbn:hr:168:109096

Metadata
TitleStatička analiza pametnih ugovora na platformi Ethereum
Title (english)Static analysis of Ethereum smart contracts
AuthorBlaž Bagić
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberStjepan Groš (član povjerenstva)
Committee memberMarin Golub (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2020-07-14, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Ovaj rad nadograđuje alat za statičku analizu pametnih ugovora, Slither, sa novim detektorom za ranjivost zvanu umetanje ispred (eng. front running). Rad opisuje provedeno istraživanje potrebno za stvaranje početne hipoteze o načinu kojim će se moći detektirati umetanje ispred. Koraci implementacije novog detektora su dani zajedno sa poglavljem o provedenim eksperimentima i njihovim rezultatima. Implementirano rješenje ima određene mane, za koje postoji poglavlje u kojemu se diskutira o tome što se i kako može unaprijediti da bi se ostvarilo bolje rješenje.
Abstract (english)
This paper extends a static analysis framework, Slither, with a new detector that detects the front running vulnerability. It describes the research made to be able to create the hypothesis on how to detect front running. The implementation steps of the new detector are presented along with a chapter on the experiments taken and its results. The solution created has certain flaws that are acknowledged and future steps that should be taken to create a better solution are discussed.
Keywords
Keywords (english)
Languageenglish
URN:NBNurn:nbn:hr:168:109096
Study programmeTitle: Computing
Study programme type: university
Study level: graduate
Academic / professional title: magistar/magistra inženjer/inženjerka računarstva (magistar/magistra inženjer/inženjerka računarstva)
Type of resourceText
File originBorn digital
Access conditionsClosed access
Terms of useLicence In copyright icon
Public note
Created on2023-01-13 09:42:11