Main Page

ASIACCS 2017

ASIACCS 2017 Workshops

CCS 2016

CCS 2016
Workshops

CODASPY 2017

CODASPY 2017 Workshops

SACMAT 2017

WiSec 2016

Compilation Author Index

ACM SIGSAC Membership Application

SPRO'17 Table of Contents

SPRO'16 Workshop Chairs' Welcome
Brecht Wyseur (Nagravision S.A.)
Bjorn De Sutter (Ghent University)

SPRO'16 Workshop Organization

Keynote Address

Intel Software Guard Extensions - Introduction and Open Research Challenges (Page 1)
Matthias Schunter (Intel Labs & Intel Collaborative Research Institute for Secure Computing)

Research Paper Session 1: Vulnerabilities
Session Chair: Jack Davidson (University of Virginia)

Beyond the Attack Surface: Assessing Security Risk with Random Walks on Call Graphs (Page 3)
Nuthan Munaiah (Rochester Institute of Technology)
Andrew Meneely (Rochester Institute of Technology)

ROP Gadget Prevalence and Survival under Compiler-based Binary Diversification Schemes (Page 15)
Joel Coffman (Johns Hopkins University)
Daniel M. Kelly (Johns Hopkins University)
Christopher C. Wellons (Johns Hopkins University)
Andrew S. Gearhart (Johns Hopkins University)

Research Paper Session 2: Obfuscation
Session Chair: Johannes Kinder (Royal Holloway, University of London)

Defeating MBA-based Obfuscation (Page 27)
Ninon Eyrolles (Quarkslab)
Louis Goubin (UVSQ)
Marion Videau (Quarkslab & LORIA)

VOT4CS: A Virtualization Obfuscation Tool for C# (Page 39)
Sebastian Banescu (Technische Universität München)
Ciprian Lucaci (Technische Universität München)
Benjamin Krämer (Technische Universität München)
Alexander Pretschner (Technische Universität München)

Binary Permutation Polynomial Inversion and Application to Obfuscation Techniques (Page 51)
Lucas Barhelemy (Quarkslab, Sorbonne Universités, & UPMC)
Ninon Eyrolles (Quarkslab)
Guenaël Renault (Sorbonne Universités, CNRS, & Inria)
Raphaël Roblin (Sorbonne Universités & UPMC)

Research Paper Session 3: White-box Crypto & Integrity
Session Chair: Christian Mönch (Conax)

StIns4CS: A State Inspection Tool for C# (Page 61)
Amjad Ibrahim (Technische Universität München)
Sebastian Banescu (Technische Universität München)

Reactive Attestation: Automatic Detection and Reaction to Software Tampering Attacks (Page 73)
Alessio Viticchié (Politecnico di Torino)
Cataldo Basile (Politecnico di Torino)
Andrea Avancini (Fondazione Bruno Kessler)
Mariano Ceccato (Fondazione Bruno Kessler)
Bert Abrath (Ghent University)
Bart Coppens (Ghent University)

Attacking White-Box AES Constructions (Page 85)
Brendan McMillion (CloudFlare, Inc.)
Nick Sullivan (CloudFlare, Inc.)

Tutorial

The ASPIRE Framework for Software Protection (Page 91)
Bjorn De Sutter (Ghent University)
Cataldo Basile (Politecnico di Torino)
Mariano Ceccato (Fondazione Bruno Kessler)
Paolo Falcarin (University of East London)
Michael Zunke (SafeNet Germany GmbH)
Brecht Wyseur (Nagravision S.A.)
Jerome d'Annoville (Gemalto S.A.)