Detekcija ranjivosti putem statičke analize izvornog koda

završni rad

• Naslov (engleski): Vulnerability detection using static analysis of source code
• Autor: Lovro Kalinovčić
• Mentor: Ante Đerek (mentor)
• Član povjerenstva: Ante Đerek (predsjednik povjerenstva)
• Član povjerenstva: Lucija Šikić (član povjerenstva)
• Član povjerenstva: Petar 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 obrane: 2022-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: vremenski napad; sporedni kanal; statička analiza; verifikacija; ranjivost; kriptografija
• Ključne riječi (engleski): timing attack; side-channel; static analysis; verification; vulnerability; cryptography
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:902664
• Studijski program: Naziv: 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 resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2023-01-15 10:28:44