Warning message

Nemate dozvolu za prikaz ovog resursa!
prikaz prve stranice dokumenta Detekcija ranjivosti putem statičke analize izvornog koda
Rad nije dostupan
završni rad
Detekcija ranjivosti putem statičke analize izvornog koda
2022. urn:nbn:hr:168:902664
Kalinovčić, Lovro
Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva

Citirajte ovaj rad

Kalinovčić, L. (2022). Detekcija ranjivosti putem statičke analize izvornog koda (Završni rad). Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva. Preuzeto s https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, Lovro. "Detekcija ranjivosti putem statičke analize izvornog koda." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2022. https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, Lovro. "Detekcija ranjivosti putem statičke analize izvornog koda." Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, 2022. https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić, L. (2022). 'Detekcija ranjivosti putem statičke analize izvornog koda', Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, citirano: 16.12.2024., https://urn.nsk.hr/urn:nbn:hr:168:902664

Kalinovčić L. Detekcija ranjivosti putem statičke analize izvornog koda [Završni rad]. Zagreb: Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva; 2022 [pristupljeno 16.12.2024.] Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:902664

L. Kalinovčić, "Detekcija ranjivosti putem statičke analize izvornog koda", Završni rad, Sveučilište u Zagrebu, Fakultet elektrotehnike i računarstva, Zagreb, 2022. Dostupno na: https://urn.nsk.hr/urn:nbn:hr:168:902664

Za citiranje koristite ovu mrežnu adresu: https://urn.nsk.hr/urn:nbn:hr:168:902664
Prijavite se u repozitorij kako biste mogli spremiti objekt u svoju listu.
Podaci o radu
NaslovDetekcija ranjivosti putem statičke analize izvornog koda
Naslov (engleski)Vulnerability detection using static analysis of source code
AutorLovro Kalinovčić
MentorAnte Đerek (mentor)
Član povjerenstvaAnte Đerek (predsjednik povjerenstva)
Član povjerenstvaLucija Šikić (član povjerenstva)
Član povjerenstvaPetar Paradžik (član povjerenstva)
Ustanova koja je dodijelila
akademski / stručni stupanj		Sveučilište u Zagrebu
Fakultet elektrotehnike i računarstva
Zagreb
Datum i država obrane2022-07-06, Hrvatska
Znanstveno / umjetničko
područje, polje i grana		TEHNIČKE ZNANOSTI
Računarstvo
Sažetak
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.
Sažetak (engleski)
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.
Ključne riječi
Ključne riječi (engleski)
Jezikhrvatski
URN:NBNurn:nbn:hr:168:902664
Studijski programNaziv: Računarstvo
Vrsta studija: sveučilišni
Stupanj studija: preddiplomski
Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
Vrsta resursaTekst
Način izrade datotekeIzvorno digitalna
Prava pristupaZatvoreni pristup
Uvjeti korištenjaIkona licence Zaštićeno autorskim pravom.
Javna napomena
Datum i vrijeme pohrane2023-01-15 10:28:44