Information Security

1. Front Matter

   Pages I-XIII

   PDF

2. Cryptography I: Signatures

   1. Front Matter

      Pages 1-1

      PDF

   2. Black-Box Separations on Fiat-Shamir-Type Signatures in the Non-Programmable Random Oracle Model

      • Masayuki Fukumitsu, Shingo Hasegawa

      Pages 3-20

   3. The Generic Transformation from Standard Signatures to Identity-Based Aggregate Signatures

      • Bei Liang, Hongda Li, Jinyong Chang

      Pages 21-41

   4. Leveled Strongly-Unforgeable Identity-Based Fully Homomorphic Signatures

      • Fuqun Wang, Kunpeng Wang, Bao Li, Yuanyuan Gao

      Pages 42-60

   5. Graded Signatures

      • Aggelos Kiayias, Murat Osmanoglu, Qiang Tang

      Pages 61-80

3. System and Software Security

   1. Front Matter

      Pages 81-81

      PDF

   2. Dynamically Provisioning Isolation in Hierarchical Architectures

      • Kevin Falzon, Eric Bodden

      Pages 83-101

   3. Factors Impacting the Effort Required to Fix Security Vulnerabilities

      • Lotfi ben Othmane, Golriz Chehrazi, Eric Bodden, Petar Tsalovski, Achim D. Brucker, Philip Miseldine

      Pages 102-119

   4. Software Security Maturity in Public Organisations

      • Martin Gilje Jaatun, Daniela S. Cruzes, Karin Bernsmed, Inger Anne Tøndel, Lillian Røstad

      Pages 120-138

4. Cryptanalysis I: Block Ciphers

   1. Front Matter

      Pages 139-139

      PDF

   2. Extending the Applicability of the Mixed-Integer Programming Technique in Automatic Differential Cryptanalysis

      • Siwei Sun, Lei Hu, Meiqin Wang, Qianqian Yang, Kexin Qiao, Xiaoshuang Ma et al.

      Pages 141-157

   3. Automatic Search for Linear Trails of the SPECK Family

      • Yuan Yao, Bin Zhang, Wenling Wu

      Pages 158-176

   4. From Distinguishers to Key Recovery: Improved Related-Key Attacks on Even-Mansour

      • Pierre Karpman

      Pages 177-188

5. Cryptography II: Protocols

   1. Front Matter

      Pages 189-189

      PDF

   2. Oblivious PAKE: Efficient Handling of Password Trials

      • Franziskus Kiefer, Mark Manulis

      Pages 191-208

   3. Secure and Efficient Private Set Intersection Cardinality Using Bloom Filter

      • Sumit Kumar Debnath, Ratna Dutta

      Pages 209-226

   4. On the Efficiency of Multi-party Contract Signing Protocols

      • Gerard Draper-Gil, Josep-Lluís Ferrer-Gomila, M. Francisca Hinarejos, Jianying Zhou

      Pages 227-243

   5. On the Provable Security of the Dragonfly Protocol

      • Jean Lancrenon, Marjan Škrobot

      Pages 244-261

6. Network and Cloud Security

   1. Front Matter

      Pages 263-263

      PDF

This book constitutes the refereed proceedings of the 18th International Conference on Information Security, ISC 2015, held in Trondheim, Norway, in September 2015. The 30 revised full papers presented were carefully reviewed and selected from 103 submissions. The papers cover a wide range of topics in the area of cryptography and cryptanalysis and are organized in the following topical sections: signatures; system and software security; block ciphers; protocols; network and cloud security; encryption and fundamentals; PUFs and implementation security; and key generation, biometrics and image security.    

• Applied cryptography
• Biometrics
• Hash function
• Intrusion detection
• Network security
• Access control
• Anonymity
• Authentication
• Cryptanalysis
• Cryptographic protocols
• Distributed key generation
• Formal methods
• Privacy
• secure software
• security
• side channels
• stream cipher
• symmetric encryption
• watermarking
• Web security

       

• University of Malaga, Malaga, Spain

  Javier Lopez

• Royal Holloway University of London, Egham, United Kingdom

  Chris J. Mitchell

   

Policies and ethics