mirror of
https://github.com/QubesOS/qubes-doc.git
synced 2024-10-01 01:25:40 -04:00
25 lines
1.3 KiB
Markdown
25 lines
1.3 KiB
Markdown
|
---
|
|||
|
|
layout: wiki
|
|||
|
|
title: QubesResearch
|
|||
|
|
permalink: /wiki/QubesResearch/
|
|||
|
|
---
|
|||
|
|
|
|||
|
|
Here are some links to various papers/research projects that somehow relate to Qubes.
|
|||
|
|
|
|||
|
|
### Attacks on Intel TXT
|
|||
|
|
|
|||
|
|
- [Attacking Intel® Trusted Execution Technology](http://invisiblethingslab.com/resources/bh09dc/Attacking%20Intel%20TXT%20-%20paper.pdf) by Rafal Wojtczuk, Joanna Rutkowska
|
|||
|
|
- [Another Way to Circumvent Intel® Trusted Execution Technology](http://invisiblethingslab.com/resources/misc09/Another%20TXT%20Attack.pdf) by Rafal Wojtczuk, Joanna Rutkowska, Alex Tereshkin
|
|||
|
|
- Loic paper on ACPI-based rootkits and TXT attacking (anybody got a link?)
|
|||
|
|
|
|||
|
|
### Software attacks coming through devices
|
|||
|
|
|
|||
|
|
- [Can you still trust your network card?](http://www.ssi.gouv.fr/IMG/pdf/csw-trustnetworkcard.pdf) by Loïc Duflot, Yves-Alexis Perez and others
|
|||
|
|
- [Remotely Attacking Network Cards (or why we do need VT-d and TXT)](http://theinvisiblethings.blogspot.com/2010/04/remotely-attacking-network-cards-or-why.html) by Joanna Rutkowska
|
|||
|
|
- [On Formally Verified Microkernels (and on attacking them)](http://theinvisiblethings.blogspot.com/2010/05/on-formally-verified-microkernels-and.html) by Joanna Rutkowska
|
|||
|
|
|
|||
|
|
### Application-level security
|
|||
|
|
|
|||
|
|
- Link to Matt's upcoming thesis on virtics [coming soon]
|
|||
|
|
|