prikaz prve stranice dokumenta Detekcija ranjivosti putem statičke analize izvornog koda
No public access
undergraduate thesis
Detekcija ranjivosti putem statičke analize izvornog koda
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. urn:nbn:hr:168:902664
Kalinovčić, Lovro
University of Zagreb
Faculty of Electrical Engineering and Computing

Institutional repository: FER Repository

Cite this document

Kalinovčić, L. (2022). Detekcija ranjivosti putem statičke analize izvornog koda (Undergraduate thesis). Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing. Retrieved from https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, Lovro. "Detekcija ranjivosti putem statičke analize izvornog koda." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, Lovro. "Detekcija ranjivosti putem statičke analize izvornog koda." Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, 2022. https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, L. (2022). 'Detekcija ranjivosti putem statičke analize izvornog koda', Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, accessed 15 May 2024, https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić L. Detekcija ranjivosti putem statičke analize izvornog koda [Undergraduate thesis]. Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing; 2022 [cited 2024 May 15] Available at: https://urn.nsk.hr/urn:nbn:hr:168:902664

L. Kalinovčić, "Detekcija ranjivosti putem statičke analize izvornog koda", Undergraduate thesis, University of Zagreb, Faculty of Electrical Engineering and Computing, Zagreb, 2022. Available at: https://urn.nsk.hr/urn:nbn:hr:168:902664

Metadata
TitleDetekcija ranjivosti putem statičke analize izvornog koda
Title (english)Vulnerability detection using static analysis of source code
AuthorLovro Kalinovčić
MentorAnte Đerek (mentor)
Committee memberAnte Đerek (predsjednik povjerenstva)
Committee memberLucija Šikić (član povjerenstva)
Committee memberPetar Paradžik (član povjerenstva)
GranterUniversity of Zagreb
Faculty of Electrical Engineering and Computing
Zagreb
Defense date and country2022-07-06, Croatia
Scientific / art field,
discipline and subdiscipline		TECHNICAL SCIENCES
Computing
Abstract
Implementacije kriptografskih algoritama ranjive na vremenske napade jednostavno omogućuju napadačima potpunu rekonstrukciju tajnih podataka. Alati za automatsku verifikaciju pokazali su se ključnim u jačanju sigurnosti kripto-sustava. Međutim, verifikaciju je tipično teško provesti i implementirati. Razvili smo novu metodu verifikacije, DRAMA, s fokusom na jednostavnu uporabu, implementaciju i održavanje. Također predstavljamo rezultate eksperimentalne uporabe novog alata i ranjivosti koje su pronađene.
Abstract (english)
Timing attack vulnerabilities in cryptography implementations easily allow for full recovery of secrets. Automated verification tools proved essential for hardening cryptosystems. However, verification is typically difficult to execute and implement. We developed DRAMA, a novel verification method designed with ease of use, implementation, and maintenance as foremost concerns. We also present the experimental results and vulnerabilities found through use of this tool.
Keywords
Keywords (english)
Languagecroatian
URN:NBNurn:nbn:hr:168:902664
Study programmeTitle: Computing
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) 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-15 10:28:44