Program

Monday, September 26

14:00 - 15:30: Quantitative Aspects of Security Assurance

• Metrics for Transparency
  Dayana Spagnuelo, Cesare Bartolini and Gabriele Lenzini
• Understanding bifurcation of slow versus fast cyber-attackers
  Maarten van Wieren, Christian Doerr, Vivian Jacobs and Wolter Pieters
• Decomposing Global Quantitative Properties into Local Ones
  Ilaria Matteucci and Francesco Santini
• Efficient SAT-based Pre-image Enumeration for Quantitative Information Flow in Programs (short paper)
  Alexander Weigl

15:30 - 16:00: Coffee Break

16:00 - 17:00: STM-DPM-QASA Invited Talk (ERCIM WG STM 2016 PhD award talk)

• Advances in Smartphone Security: Attacks, Defenses and Applications
  Alexandra Dmitrienko (ETH, Switzerland)

Tuesday, September 27

09:30 - 10:30: DPM-QASA Invited Talk

• The Tragedy of Loss of Privacy, or: Privacy as a Public Asset
  Amir Herzberg (Bar Ilan University, Israel)

10:30 - 11:00: Coffee Break

11:00 - 12:30: Identification, Authentication, and Authorization

Chair: Florian Kammueller

• Searchable Encryption for Biometric Identification Revisited
  Ghassane Amchyaa, Julien Bringer and Roch Lescuyer
• On the User Acceptance of Privacy-Preserving Attribute-based Credentials - A Qualitative Study
  Ahmad Sabouri
• Investigating the Animation of Application Permission Dialogs: A Case Study of Facebook
  Yousra Javed and Mohamed Shehab
• Managing and Presenting User Attributes over a Decentralized Secure Name System (short paper)
  Martin Schanzenbach and Christian Banse

12:30 - 13:45: Lunch

13:45 - 15:30: Privacy Protection

Chair: Marc Juarez

• Controlled Management of Confidentiality-Preserving Relational Interactions
  Joachim Biskup, Ralf Menzel and Jaouad Zarouali
• Privacy-Preserving Abuse Detection in Future Decentralised Online Social Networks
  Álvaro García-Recuero, Jeffrey Burdges and Christian Grothoff
• Privacy-Preserving Targeted Mobile Advertising: Formal Models and Analysis
  Yang Liu and Andrew Simpson
• A Study from Data Anonymization Competition Pwscup 2015 (short paper)
  Hiroaki Kikuchi, Takayasu Yamaguchi, Koki Hamada, Yuji Yamaoka, Hidenobu Oguri and Jun Sakuma
• PRIAM: A Privacy Risk Analysis Methodology (short paper)
  Sourya Joyee De and Daniel Le Métayer

15:30 - 16:00: Coffee Break

16:00 - 17:30: Security and Secure Applications

Chair: Hiroaki Kikuchi

• Isabelle Modelchecking for Insider Threats
  Florian Kammueller
• Securing Multiparty Protocols against the Exposure of Data to Honest Parties
  Peeter Laud and Alisa Pankova
• Secure Frequent Pattern Mining by Fully Homomorphic Encryption with Ciphertext Packing
  Hiroki Imabayashi, Yu Ishimaki, Akira Umayabara, Hiroki Sato and Hayato Yamana
• Refactoring Preserves Security (short paper)
  Florian Kammueller