CCS 2017 - Papers on Cloud security

Cloud security

Forward Secure Dynamic Searchable Symmetric Encryption with Efficient Updates

Kee Sung Kim (National Security Research Institute), Minkyu Kim (National Security Research Institute), Dongsoo Lee (National Security Research Institute), Je Hong Park (National Security Research Institute), Woo-Hwan Kim (National Security Research Institute)

[PDF]
Session: 1G

Exploiting a Thermal Side Channel for Power Attacks in Multi-Tenant Data Centers

Mohammad A. Islam (University of California, Riverside), Shaolei Ren (University of California, Riverside), Adam Wierman (California Institute of Technology)

[PDF]
Session: 3E

Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives

Raphael Bost (Direction Générale de l’Armement - Maitrise de l’Information / Université de Rennes 1), Brice Minaud (Royal Holloway, University of London), Olga Ohrimenko (Microsoft Research, Cambridge)

[PDF]
[Paper]
[Artifact]
Session: 1G

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Changyu Dong (Newcastle University), Yilei Wang (Newcastle University), Amjad Aldweesh (Newcastle University), Patrick McCorry (Newcastle University), Aad van Moorsel (Newcastle University)

[PDF]
[Paper]
[Artifact]
Session: 5A

Leaky Cauldron on the Dark Land: Understanding Memory Side-Channel Hazards in SGX

Wenhao Wang (Indiana University), Guoxing Chen (The Ohio State University), Xiaorui Pan (Indiana University), Yinqian Zhang (The Ohio State University), XiaoFeng Wang (Indiana University), Vincent Bindschaedler (University of Illinois at Urbana-Champaign), Haixu Tang (Indiana University), Carl A. Gunter (University of Illinois at Urbana-Champaign)

[PDF]
Session: 4K

Deterministic, Stash-Free Write-Only ORAM

Daniel S. Roche (United States Naval Academy), Adam J. Aviv (United States Naval Academy), Seung Geol Choi (United States Naval Academy), Travis Mayberry (United States Naval Academy)

[PDF]
[Paper]
[Artifact]
Session: 1C

Iron: Functional Encryption using Intel SGX

Ben Fisch (Stanford University), Dhinakaran Vinayagamurthy (University of Waterloo), Dan Boneh (Stanford University), Sergey Gorbunov (University of Waterloo)

★ (Award Finalist)
[PDF]
[Paper]
Session: 1D

SGX-BigMatrix: A Practical Encrypted Data Analytic Framework With Trusted Processors

Fahad Shaon (University of Texas at Dallas), Murat Kantarcioglu (University of Texas at Dallas), Zhiqiang Lin (University of Texas at Dallas), Latifur Khan (University of Texas at Dallas)

[PDF]
Session: 5E

A Formal Foundation for Secure Remote Execution of Enclaves

Pramod Subramanyan (University of California, Berkeley), Rohit Sinha (University of California, Berkeley), Ilia Lebedev (Massachusetts Institute of Technology), Srinivas Devadas (Massachusetts Institute of Technology), Sanjit Seshia (University of California, Berkeley)

★ (Award Finalist)
[PDF]
[Paper]
[Artifact]
Session: 4K