From 9f5358412ff8b5854e0189f1194beb8b3c9f3ce4 Mon Sep 17 00:00:00 2001 From: Joanna Rutkowska Date: Mon, 3 May 2010 17:15:20 +0000 Subject: [PATCH] QubesResearch changed Initial papers list --- QubesResearch.md | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 QubesResearch.md diff --git a/QubesResearch.md b/QubesResearch.md new file mode 100644 index 00000000..79ab5b15 --- /dev/null +++ b/QubesResearch.md @@ -0,0 +1,24 @@ +--- +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] +