Program 

Welcome and Registration
Location: Ballroom Foyer

• Truncated and Multiple Differential Cryptanalysis of Reduced Round Midori128
  Mohamed Tollba, Ahmed Abdelkhalek and Amr Youssef (Concordia University)
  

• Improved Linear Cryptanalysis of Round-reduced ARIA
  Ahmed Abdel Khalek, Mohamed Tolba and Amr Youssef (Concordia University)


• Partial Key Exposure Attacks on CRT-RSA: General Improvement for the Exposed Least Significant Bits
  Atsushi Takayasu and Noboru Kunihiro (The University of Tokyo)
  

• Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols
  Franziskus Kiefer (Mozilla) and Mark Manulis (University of Surrey)
  

• Chip Authentication for E-Passports: PACE with Chip Authentication Mapping v2
  Lucjan Hanzlik and Miroslaw Kutylowski (Wroc law University of Technology)


• AEP-M: Practical Anonymous E-Payment for Mobile Devices using ARM TrustZone and Divisible E-Cash
  Bo Yang, Kang Yang, Zhenfeng Zhang, Yu Qin and Dengguo Feng (Chinese Academy of Sciences)
  

• Impossibility on the Provable Security of the Fiat-Shamir-Type Signatures in the Non-Programmable Random Oracle Model
  Masayuki Fukumitsu (Hokkaido Information University) and Shingo Hasegawa (Tohoku University)
  

• Efficient Functional Encryption for Inner-Product Values with Full-Hiding Security
  Junichi Tomida (Kyoto University), Masayuki Abe and Tatsuaki Okamoto (NTT Secure Platform Laboratories)


• MQSAS-A Multivariate Sequential Aggregate Signature Scheme
  Rachid El Bansarkhani, Mohamed Saied Emam Mohamed (Technische Universitat Darmstadt)and Albrecht Petzoldt (Kyushu University)

Welcome and Registration
Location: Ballroom Foyer

• Cyber Security Risk Assessment of a DDoS Attack
  Gaute Wangen, Andrii Shalaginov and Christoffer V. Hallstensen (Norwegian University of Science and Technology)
  

• Moving Target Defense Against Network Reconnaissance with Software Defined Networking
  Li Wang and Dinghao Wu (The Pennsylvania State University)


• Uni-ARBAC: A Unified Administrative Model for Role-Based Access Control
  Prosunjit Biswas, Ravi Sandhu, and Ram Krishnan (University of Texas at San Antonio)


• SKALD: A Scalable Architecture for Feature Extraction, Multi-User Analysis, and Real-Time Information Sharing
  George Webster, Zachary Hanif, Andre Ludwig, Tamas Lengyel, Apostolis Zarras and Claudia Eckert (Technical University of Munich)
  

• Yet Another Note on Block Withholding Attack on Bitcoin Mining Pools
  Samiran Bag (Newcastle University) and Kouichi Sakurai (Kyushu University)


• Universally Composable Two-Server PAKE
  Franziskus Kiefer (Mozilla) and Mark Manulis (University of Surrey)
  

• Damaging Simplifying, and Salvaging p-OMD
  Tomer Ashur and Bart Mennink (KU Leuven)


• Enhanced Correlation Power Analysis by Biasing Power Traces
  Changhai Ou (Chinese Academy of Sciences, University of Chinese Academy of Sciences), Zhu Wang (Chinese Academy of Sciences), Degang Sun (Chinese Academy of Sciences), Xinping Zhou (Chinese Academy of Sciences, University of Chinese Academy of Sciences), Juan Ai (Chinese Academy of Sciences, University of Chinese Academy of Sciences), and Na Pang (Chinese Academy of Sciences, University of Chinese Academy of Sciences)


• Cryptanalysis of Multi-Prime Phi-Hiding Assumption
  Jun Xu, Lei Hu (Chinese Academy of Sciences), Santanu Sarkar (Indian Institute of Technology), Xiaona Zhang, Zhangjie Huang and Liqiang Peng (Chinese Academy of Sciences)
  


• Cryptanalysis and Improved Construction of a Group Key Agreement for Secure Group Communication
  Jun Xu, Lei Hu, Xiaona Zhang, Liqiang Peng and Zhangjie Huang (Chinese Academy of Sciences)

• Leveraging Internet Services to Evade Censorship
  Apostolis Zarras (Technical University of Munich)
  

• Analyzing Randomized Response Mechanisms under Differential Privacy
  Atsushi Waseda and Ryo Nojima (National Institute of Information and Communications Technology)


• Models and Algorithms for Graph Watermarking
  David Eppstein, Michael Goodrich (University of California, Irvine), Jenny Lam (San Jose State University), Nil Mamano (University of California, Irvine), Michael Mitzenmacher (Harvard University) and Manuel Torres (University of California, Irvine)

• Policy-based Implicit Attestation for Microkernel-based Virtualized Systems
  Steffen Wagner (Fraunhofer Institute AISEC) and Claudia Eckert (Technische Universitat Munchen)
  

• Generalized Dynamic Opaque Predicates: A New Control Flow Obfuscation Method
  Dongpeng Xu, Jiang Ming and Dinghao Wu (The Pennsylvania State University)


• A Bayesian Cogntive Approach to Quantifying Software Exploitability Based on Reachability Testing
  Guanhua Yan (Binghamton University, State University of New York), Yunus Kucuk (Binghamton University, State University of New York, Turkish Military Academy), Max Slocum (Binghamton University, State University of New York) and David Last (Air Force Research Laboratory)


• Control Flow Integrity Enforcement with Dynamic Code Optimization
  Yan Lin, Xiaoxiao Tang, Debin Gao (Singapore Management University) and Jianming Fu (Wuhan University)