Proveditelnost útoku Spectre v jazyku zaměřeném na bezpečnost
Feasibility of the Spectre attack in a security-focused language
Typ dokumentu
bakalářská prácebachelor thesis
Autor
Jaroslav Chládek
Vedoucí práce
Kokeš Josef
Oponent práce
Štepanovský Michal
Studijní obor
Bezpečnost a informační technologieStudijní program
InformatikaInstituce přidělující hodnost
katedra počítačových systémůPráva
A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.htmlVysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html
Metadata
Zobrazit celý záznamAbstrakt
Představujeme funkční proof-of-concept implementaci první varianty útoku Spectre v programovacím jazyce Rust. Upravenou verzí tohoto algoritmu demonstrujeme proveditelnost útoku v jazycích zaměřených na bezpečnost a zkoumáme uskutečnitelnost tohoto útoku v porovnání s jazyky nechráněnými. Ukazujeme dopad tohoto útoku na bezpečnost platformy Rust, jeho matematické vlastnosti a teoretické předpoklady. We present a functioning proof-of-concept implementation of the Spectre Variant 1 attack in the Rust programming language. We prove the feasibility of the attack in this security-focused language with our modified algorithm and compare its viability to that in unsafe languages. We show its impact on the security of the Rust platform, its mathematical properties and theoretical assumptions.
Kolekce
- Bakalářské práce - 18104 [348]