| Lecture # |
Date |
Topics |
Presenter |
| 1 |
8/27 (Mon) |
Administrivia and course introduction |
Prof. Lee |
| 2 |
8/29 (Wed) |
Watch the following videos prior to class:
|
- |
| - |
9/3 (Mon) |
Labor Day -- No class |
- |
| 3 |
9/5 (Wed) |
SGX Tutorial I |
Briand |
| 4 |
9/10 (Mon) |
SGX Tutorial II |
Briand |
| 5 |
9/12 (Wed) |
Secure Computation |
| Andrew Baumann, Marcus Peinado, Galen C. Hunt:
Shielding Applications from an Untrusted Cloud with Haven. OSDI 2014: 267-283
[PDF] |
Jinpeng |
| 6 |
9/17 (Mon) |
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich: VC3: Trustworthy Data Analytics in the Cloud Using SGX. IEEE Symposium on Security and Privacy 2015: 38-54 [PDF] |
Henrique |
| 7 |
9/19 (Wed) |
Andrea Bittau, Úlfar Erlingsson, Petros Maniatis, Ilya Mironov, Ananth Raghunathan, David Lie, Mitch Rudominer, Ushasree Kode, Julien Tinnés, Bernhard Seefeld: Prochlo: Strong Privacy for Analytics in the Crowd. SOSP 2017: 441-459 [PDF] |
Victor |
| 8 |
9/24 (Mon) |
Shweta Shinde, Dat Le Tien, Shruti Tople, Prateek Saxena:Panoply: Low-TCB Linux Applications With SGX Enclaves. [PDF] |
Joe |
| 9 |
9/26 (Wed) |
Fahad Shaon, Murat Kantarcioglu, Zhiqiang Lin, Latifur Khan: SGX-BigMatrix: A Practical Encrypted Data Analytic Framework With Trusted Processors. CCS 2017: 1211-1228 [PDF] |
Henrique |
| 10 |
10/1 (Mon) |
Data Protection |
| Christian Priebe, Kapil Vaswani, Manuel Costa: EnclaveDB: A Secure Database Using SGX. IEEE Symposium on Security and Privacy 2018: 264-278 [PDF]
|
Pranut |
| 11 |
10/3 (Wed) |
Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer: Pesos: policy enhanced secure object store. EuroSys 2018: 25:1-25:17 [PDF]
|
Victor |
| 12 |
10/8 (Mon) |
Adil Ahmad, Kyungtae Kim, Muhammad Ihsanulhaq Sarfaraz, Byoungyoung Lee: OBLIVIATE: A Data Oblivious Filesystem for Intel SGX. NDSS 2018 [PDF] |
Pranut |
| 13 |
10/10 (Wed) |
Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena: BesFS: Mechanized Proof of an Iago-Safe Filesystem for Enclaves. arXiv:1807.00477, July 2018. [PDF] |
Joe |
| 14 |
10/16 (Tue) |
Preprint from our group, will be distributed via email |
Briand |
| 15 |
10/17 (Wed) |
Application Hardening |
| Joshua Lind, Ittay Eyal, Florian Kelbert, Oded Naor, Peter R. Pietzuch, Emin Gün Sirer: Teechain: Scalable Blockchain Payments using Trusted Execution Environments. CoRR abs/1707.05454 (2017) [PDF] |
Henrique |
| 16 |
10/22 (Mon) |
Pierre-Louis Aublin, Florian Kelbert, Dan O'Keeffe, Divya Muthukumaran, Christian Priebe, Joshua Lind, Robert Krahn, Christof Fetzer, David M. Eyers, Peter R. Pietzuch: LibSEAL: revealing service integrity violations using trusted execution. EuroSys 2018: 24:1-24:15 [PDF] |
Joe |
| 17 |
10/24 (Wed) |
Sinisa Matetic, Mansoor Ahmed, Kari Kostiainen, Aritra Dhar, David Sommer, Arthur Gervais, Ari Juels, Srdjan Capkun: ROTE: Rollback Protection for Trusted Execution [PDF] |
Jinpeng |
| 18 |
10/29 (Mon) |
Ben Fisch, Dhinakaran Vinayagamurthy, Dan Boneh, Sergey Gorbunov: IRON: Functional Encryption using Intel SGX. CCS 2017: 765-782 [PDF] |
Briand |
| 19 |
10/31 (Wed) |
Side Channels |
| Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx: Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. USENIX Security Symposium 2018 [PDF]
|
Yanbing |
| - |
11/5 (Mon) |
Project time -- No class |
- |
| - |
11/7 (Wed) |
Project time -- No class |
- |
| 20 |
11/12 (Mon) |
Project progress reports |
- |
| 21 |
11/14 (Wed) |
Discussion session |
- |
| 22 |
11/19 (Mon) |
Guoxing Chen, Wenhao Wang, Tianyu Chen, Sanchuan Chen, Yinqian Zhang, XiaoFeng Wang, Ten-Hwang Lai, Dongdai Lin: Racing in Hyperspace: Closing Hyper-Threading Side Channels on SGX with Contrived Data Races, Oakland'18, San Francisco, CA, USA, May, 2018. [PDF] |
Yanbing |
| - |
11/21 (Wed) |
Thanksgiving Recess -- No class |
- |
| 23 |
11/26 (Mon) |
Ming-Wei Shih, Sangho Lee, Taesoo Kim, Marcus Peinado: T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs [PDF] |
Pranut |
| 24 |
11/28 (Wed) |
Student Choice |
| Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa: Oblivious Multi-Party Machine Learning on Trusted Processors. USENIX Security Symposium 2016: 619-636 [PDF] |
Yanbing |
| 25 |
12/3 (Mon) |
Tyler Hunt, Congzheng Song, Reza Shokri, Vitaly Shmatikov, Emmett Witchel:
Chiron: Privacy-preserving Machine Learning as a Service. CoRR abs/1803.05961 (2018) [PDF] |
Victor |
| 26 |
12/5 (Wed) |
Wenhao Wang, Guoxing Chen, Xiaorui Pan, Yinqian Zhang, XiaoFeng Wang, Vincent Bindschaedler, Haixu Tang, Carl A. Gunter: Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX. 2421-2434 [PDF] |
Jinpeng |
| 27 |
12/10 (Mon) |
Final Project Presentations |
- |
| 28 |
12/12 (Wed) |
Final Project Presentations |
- |