1. Home
  2. Proceedings
  3. SP
  4. SP 2015
Default Cover Image

2015 IEEE Symposium on Security and Privacy (SP)

May 17 2015 to May 21 2015

San Jose, CA, USA

Table of Contents

[Title page i]Freely available from IEEE.pp. i-i
[Title page iii]Freely available from IEEE.pp. iii-iii
[Copyright notice]Freely available from IEEE.pp. iv-iv
Table of contentsFreely available from IEEE.pp. v-x
Message from the General ChairFreely available from IEEE.pp. xi-xiii
Organizing CommitteeFreely available from IEEE.pp. xiv-xv
Program CommitteeFreely available from IEEE.pp. xvi-xvii
External ReviewersFreely available from IEEE.pp. xviii-xix
Protecting Private Keys against Memory Disclosure Attacks Using Hardware Transactional MemoryFreely available from IEEE.pp. 3-19
by Le Guan, Jingqiang Lin, Bo Luo, Jiwu Jing, Jing Wang
CHERI: A Hybrid Capability-System Architecture for Scalable Software CompartmentalizationFreely available from IEEE.pp. 20-37
by Robert N.M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert Norton, Michael Roe, Stacey Son, Munraj Vadera
VC3: Trustworthy Data Analytics in the Cloud Using SGXFreely available from IEEE.pp. 38-54
by Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
Using Hardware Features for Increased Debugging TransparencyFreely available from IEEE.pp. 55-69
by Fengwei Zhang, Kevin Leach, Angelos Stavrou, Haining Wang, Kun Sun
Virtual Proofs of Reality and their Physical ImplementationFreely available from IEEE.pp. 70-85
by Ulrich Rührmair, J.L. Martinez-Hurtado, Xiaolin Xu, Christian Kraeh, Christian Hilgers, Dima Kononchuk, Jonathan J. Finley, Wayne P. Burleson
The Miner's DilemmaFreely available from IEEE.pp. 89-103
by Ittay Eyal
SoK: Research Perspectives and Challenges for Bitcoin and CryptocurrenciesFreely available from IEEE.pp. 104-121
by Joseph Bonneau, Andrew Miller, Jeremy Clark, Arvind Narayanan, Joshua A. Kroll, Edward W. Felten
Bitcoin over Tor isn't a Good IdeaFreely available from IEEE.pp. 122-134
by Alex Biryukov, Ivan Pustogarov
Every Second Counts: Quantifying the Negative Externalities of Cybercrime via TyposquattingFreely available from IEEE.pp. 135-150
by Mohammad Taha Khan, Xiang Huo, Zhou Li, Chris Kanich
Ad Injection at Scale: Assessing Deceptive Advertisement ModificationsFreely available from IEEE.pp. 151-167
by Kurt Thomas, Elie Bursztein, Chris Grier, Grant Ho, Nav Jagpal, Alexandros Kapravelos, Damon Mccoy, Antonio Nappa, Vern Paxson, Paul Pearce, Niels Provos, Moheeb Abu Rajab
Connection-Oriented DNS to Improve Privacy and SecurityFreely available from IEEE.pp. 171-186
by Liang Zhu, Zi Hu, John Heidemann, Duane Wessels, Allison Mankin, Nikita Somaiya
Temporal Lensing and Its Application in Pulsing Denial-of-Service AttacksFreely available from IEEE.pp. 187-198
by Ryan Rasti, Mukul Murthy, Nicholas Weaver, Vern Paxson
Secure Track VerificationFreely available from IEEE.pp. 199-213
by Matthias Schäfer, Vincent Lenders, Jens Schmitt
How Secure and Quick is QUIC? Provable Security and Performance AnalysesFreely available from IEEE.pp. 214-231
by Robert Lychev, Samuel Jero, Alexandra Boldyreva, Cristina Nita-Rotaru
SoK: Secure MessagingFreely available from IEEE.pp. 232-249
by Nik Unger, Sergej Dechand, Joseph Bonneau, Sascha Fahl, Henning Perl, Ian Goldberg, Matthew Smith
Geppetto: Versatile Verifiable ComputationFreely available from IEEE.pp. 253-270
by Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated DataFreely available from IEEE.pp. 271-286
by Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk
Secure Sampling of Public Parameters for Succinct Zero Knowledge ProofsFreely available from IEEE.pp. 287-304
by Eli Ben-Sasson, Alessandro Chiesa, Matthew Green, Eran Tromer, Madars Virza
Forward Secure Asynchronous Messaging from Puncturable EncryptionFreely available from IEEE.pp. 305-320
by Matthew D. Green, Ian Miers
Riposte: An Anonymous Messaging System Handling Millions of UsersFreely available from IEEE.pp. 321-338
by Henry Corrigan-Gibbs, Dan Boneh, David Mazières
Privacy and Access Control for Outsourced Personal RecordsFreely available from IEEE.pp. 341-358
by Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
ObliVM: A Programming Framework for Secure ComputationFreely available from IEEE.pp. 359-376
by Chang Liu, Xiao Shaun Wang, Kartik Nayak, Yan Huang, Elaine Shi
GraphSC: Parallel Secure Computation Made EasyFreely available from IEEE.pp. 377-394
by Kartik Nayak, Xiao Shaun Wang, Stratis Ioannidis, Udi Weinsberg, Nina Taft, Elaine Shi
Malicious-Client Security in Blind Seer: A Scalable Private DBMSFreely available from IEEE.pp. 395-410
by Ben A. Fisch, Binh Vo, Fernando Krell, Abishek Kumarasubramanian, Vladimir Kolesnikov, Tal Malkin, Steven M. Bellovin
TinyGarble: Highly Compressed and Scalable Sequential Garbled CircuitsFreely available from IEEE.pp. 411-428
by Ebrahim M. Songhori, Siam U. Hussain, Ahmad-Reza Sadeghi, Thomas Schneider, Farinaz Koushanfar
SurroundWeb: Mitigating Privacy Concerns in a 3D Web BrowserFreely available from IEEE.pp. 431-446
by John Vilk, David Molnar, Benjamin Livshits, Eyal Ofek, Chris Rossbach, Alexander Moshchuk, Helen J. Wang, Ran Gal
GenoGuard: Protecting Genomic Data against Brute-Force AttacksFreely available from IEEE.pp. 447-462
by Zhicong Huang, Erman Ayday, Jacques Fellay, Jean-Pierre Hubaux, Ari Juels
Towards Making Systems Forget with Machine UnlearningFreely available from IEEE.pp. 463-480
by Yinzhi Cao, Junfeng Yang
Cracking-Resistant Password Vaults Using Natural Language EncodersFreely available from IEEE.pp. 481-498
by Rahul Chatterjee, Joseph Bonneau, Ari Juels, Thomas Ristenpart
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy DefinitionsFreely available from IEEE.pp. 499-516
by David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
Vetting SSL Usage in Applications with SSLINTFreely available from IEEE.pp. 519-534
by Boyuan He, Vaibhav Rastogi, Yinzhi Cao, Yan Chen, V.N. Venkatakrishnan, Runqing Yang, Zhenrui Zhang
A Messy State of the Union: Taming the Composite State Machines of TLSFreely available from IEEE.pp. 535-552
by Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
Post-Quantum Key Exchange for the TLS Protocol from the Ring Learning with Errors ProblemFreely available from IEEE.pp. 553-570
by Joppe W. Bos, Craig Costello, Michael Naehrig, Douglas Stebila
Security of the J-PAKE Password-Authenticated Key Exchange ProtocolFreely available from IEEE.pp. 571-587
by Michel Abdalla, Fabrice Benhamouda, Philip MacKenzie
S$A: A Shared Cache Attack That Works across Cores and Defies VM Sandboxing -- and Its Application to AESFreely available from IEEE.pp. 591-604
by Gorka Irazoqui, Thomas Eisenbarth, Berk Sunar
Last-Level Cache Side-Channel Attacks are PracticalFreely available from IEEE.pp. 605-622
by Fangfei Liu, Yuval Yarom, Qian Ge, Gernot Heiser, Ruby B. Lee
On Subnormal Floating Point and Abnormal TimingFreely available from IEEE.pp. 623-639
by Marc Andrysco, David Kohlbrenner, Keaton Mowery, Ranjit Jhala, Sorin Lerner, Hovav Shacham
Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating SystemsFreely available from IEEE.pp. 640-656
by Yuanzhong Xu, Weidong Cui, Marcus Peinado
SoK: Deep Packer Inspection: A Longitudinal Study of the Complexity of Run-Time PackersFreely available from IEEE.pp. 659-673
by Xabier Ugarte-Pedrero, Davide Balzarotti, Igor Santos, Pablo G. Bringas
A Generic Approach to Automatic Deobfuscation of Executable CodeFreely available from IEEE.pp. 674-691
by Babak Yadegari, Brian Johannesmeyer, Ben Whitely, Saumya Debray
The Attack of the Clones: A Study of the Impact of Shared Code on Vulnerability PatchingFreely available from IEEE.pp. 692-708
by Antonio Nappa, Richard Johnson, Leyla Bilge, Juan Caballero, Tudor Dumitras
Cross-Architecture Bug Search in Binary ExecutablesFreely available from IEEE.pp. 709-724
by Jannik Pewny, Behrad Garmany, Robert Gawlik, Christian Rossow, Thorsten Holz
Program-Adaptive Mutational FuzzingFreely available from IEEE.pp. 725-741
by Sang Kil Cha, Maverick Woo, David Brumley
Counterfeit Object-oriented Programming: On the Difficulty of Preventing Code Reuse Attacks in C++ ApplicationsFreely available from IEEE.pp. 745-762
by Felix Schuster, Thomas Tendyck, Christopher Liebchen, Lucas Davi, Ahmad-Reza Sadeghi, Thorsten Holz
Readactor: Practical Code Randomization Resilient to Memory DisclosureFreely available from IEEE.pp. 763-780
by Stephen Crane, Christopher Liebchen, Andrei Homescu, Lucas Davi, Per Larsen, Ahmad-Reza Sadeghi, Stefan Brunthaler, Michael Franz
Missing the Point(er): On the Effectiveness of Code Pointer IntegrityFreely available from IEEE.pp. 781-796
by Isaac Evans, Sam Fingeret, Julian Gonzalez, Ulziibayar Otgonbaatar, Tiffany Tang, Howard Shrobe, Stelios Sidiroglou-Douskos, Martin Rinard, Hamed Okhravi
Automatic Inference of Search Patterns for Taint-Style VulnerabilitiesFreely available from IEEE.pp. 797-812
by Fabian Yamaguchi, Alwin Maier, Hugo Gascon, Konrad Rieck
Micro-Policies: Formally Verified, Tag-Based Security MonitorsFreely available from IEEE.pp. 813-830
by Arthur Azevedo de Amorim, Maxime Dénès, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach
Securing Multiparty Online Services Via Certification of Symbolic TransactionsFreely available from IEEE.pp. 833-849
by Eric Y. Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Understanding and Monitoring Embedded Web ScriptsFreely available from IEEE.pp. 850-865
by Yuchen Zhou, David Evans
High System-Code Security with Low OverheadFreely available from IEEE.pp. 866-879
by Jonas Wagner, Volodymyr Kuznetsov, George Candea, Johannes Kinder
Caelus: Verifying the Consistency of Cloud Services with Battery-Powered DevicesFreely available from IEEE.pp. 880-896
by Beom Heyn Kim, David Lie
Effective Real-Time Android Application AuditingFreely available from IEEE.pp. 899-914
by Mingyuan Xia, Lu Gong, Yuanhao Lyu, Zhengwei Qi, Xue Liu
Leave Me Alone: App-Level Protection against Runtime Information Gathering on AndroidFreely available from IEEE.pp. 915-930
by Nan Zhang, Kan Yuan, Muhammad Naveed, Xiaoyong Zhou, Xiaofeng Wang
What the App is That? Deception and Countermeasures in the Android User InterfaceFreely available from IEEE.pp. 931-948
by Antonio Bianchi, Jacopo Corbetta, Luca Invernizzi, Yanick Fratantonio, Christopher Kruegel, Giovanni Vigna
Author indexFreely available from IEEE.pp. 949-952
[Publishers information]Freely available from IEEE.pp. 954-954
Showing 65 out of 65