Thomas Letan

PhD Student in Computer Science

Academic Papers:

I have to read a lot of academic papers. Here is a list of some, with my notes if need be.
  1. A Memory Encryption Engine Suitable for General Purpose Processors — Shay Gueron, IACR Cryptology, 2016
  2. AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves — Nico Weichbrodt, Anil Kurmus, Peter Pietzuch, and Rüdiger Kapitza, European Symposium on Research in Computer Security, 2016
  3. AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code — Jiaqi Tan, Hui Jun Tay, Rajeev Gandhi and Priya Narasimhan, Asian Symposium on Programming Languages and Systems, 2016
  4. Innovative Instructions and Software Model for Isolated Execution — Frank McKeen, Ilya Alexandrovich, Alex Berenzon, Carlos Razos, Hisham Shafi, Vedvyas Shanbhogue and Uday Savagaonkar, Hardware and Architectural Support for Security and Privacy, 2013
  5. Intel SGX Explained — Victor Costan and Srinivas Devadas, IACR Cryptology, 2016
  6. Isolating Operating System Components with Intel SGX — Lars Richter, Johannes Götzfried nd Tilo Müller, 1st Workshop on System Software for Trusted Execution, 2016
  7. LKL: The Linux Kernel Library — Octavian Purdila, Lucian Adrian Grijincu, Nicolae Tapus, Roedunet International Conference, 2010
  8. Moat: Verifying Confidentiality of Enclave Programs — Rohit Sinha, Sriram Rajamani, Sanjit A. Seshia, Kapil Vaswani, ACM SIGSAC Conference on Computer and Communications Security, 2015
  9. SCONE: Secure Linux Containers with Intel SGX — Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O’Keeffe, Mark L Stillwell, David Goltzsche, David Eyers, Rüdiger Kapitza, Peter Pietzuch, and Christof Fetzer, 12th USENIX Symposium on Operating Systems Design and Implementation, 2016
  10. SecureKeeper: Confidential ZooKeeper using Intel SGX — Stefan Brenner, Colin Wulf, David Goltzsche, Nico Weichbrodt, Matthias Lorenz, Christof Fetzer, Peter Pietzuch, Rüdiger Kapitza, 16th Annual Middleware Conference (Middleware), 2016
  11. SGX Secure Enclaves in Practice — JP Aumasson, Luis Merino, BlackHat USA, 2016
  12. SGXIO: Generic Trusted I/O Path for Intel SGX — Samuel Weiser and Mario Werner, arXiv preprint, 2017
  13. Verifying Linearizability of Intel Software Guard Extensions — Rebekah Leslie-Hurd, Dror Caspi and Matthew Fernandez, International Conference on Computer Aided Verification, 2015