Innovative Security Solutions for Information Technology and Communications : 10th International Conference, SecITC 2017, Bucharest, Romania, June 8{u2013}9, 2017, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Security for Information Technology and Communications, SecITC 2017, held in Bucharest, Romania, in June 2017. The 6 revised full papers presented together with 7 invited talks were carefully reviewed and selected from 22 submissions. The papers present advances in the theory, design, implementation, analysis, verification, or evaluation of secure systems and algorithms. Front Matter ....Pages I-XII Faster Zero-Knowledge Protocols and Applications (Claudio Orlandi)....Pages 1-11 Stochastic Side-Channel Leakage Analysis via Orthonormal Decomposition (Sylvain Guilley, Annelie Heuser, Tang Ming, Olivier Rioul)....Pages 12-27 Key-Policy Attribute-Based Encryption from Bilinear Maps (Ferucio Laurenţiu Ţiplea, Constantin Cătălin Drăgan, Anca-Maria Nica)....Pages 28-42 Security of Pseudo-Random Number Generators with Input (Damien Vergnaud)....Pages 43-51 Securing the Foundations of Democracy (Peter Y. A. Ryan)....Pages 52-66 Exploring Naccache-Stern Knapsack Encryption (Éric Brier, Rémi Géraud, David Naccache)....Pages 67-82 Proximity Assurances Based on Natural and Artificial Ambient Environments (Iakovos Gurulian, Konstantinos Markantonakis, Carlton Shepherd, Eibe Frank, Raja Naeem Akram)....Pages 83-103 Challenges of Federating National Data Access Infrastructures (Margus Freudenthal, Jan Willemson)....Pages 104-114 Strongly Deniable Identification Schemes Immune to Prover’s and Verifier’s Ephemeral Leakage (Łukasz Krzywiecki, Marcin Słowik)....Pages 115-128 Evolution of the McEliece Public Key Encryption Scheme (Dominic Bucerzan, Vlad Dragoi, Hervé Talé Kalachi)....Pages 129-149 New Algorithm for Modeling S-box in MILP Based Differential and Division Trail Search (Yu Sasaki, Yosuke Todo)....Pages 150-165 Secretly Embedding Trapdoors into Contract Signing Protocols (Diana Maimuţ, George Teşeleanu)....Pages 166-186 On a Key Exchange Protocol (Mugurel Barcau, Vicenţiu Paşol, Cezar Pleşca, Mihai Togan)....Pages 187-199 Back Matter ....Pages 201-201