Workshop on Practical and Theoretical Aspects of Information Security and Cryptology

in the framework of

SYNASC 2018
20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

Timisoara, Romania
September 20 – 23, 2018

Workshop deadlines

+ Submission of papers: June 24,2018 July 15, 2018
+ Notification of acceptance: July 30, 2018
+ Final paper: September 1, 2018
+ Registration: September 1, 2018
+ Revised papers for post-proceedings/special issue: November 2018

Workshop chairs

+ Sedat Akleylek, Ondokuz Mayis University, Turkey
+ Besik Dundua, Tbilisi State University, Georgia
+ Mircea Marin, West University of Timisoara, Romania

Workshop description

Information security concepts such as confidentiality, integrity, authentication and nonrepudiation are fundamental elements of (cyber) security issues. These concepts are achieved with cryptographic protocols. They have an important role to achieve information security concepts in real world. Those are nice applications of number theory, algebraic geometry, information theory and so on. Moreover, formal verification of cryptographic protocols is an interesting and important topic in security. This special session is intended to foster the dissemination of state-of-the-art research in the areas of information security and cryptology. The focus is given to the foundations of cryptography, protocol design, efficient implementations of cryptographic protocols and formal verification. Topics of interest include, but are not limited to:

Topics
+ Cyber security
+ Formal verification of protocols
+ Symmetric cryptography
+ Public key cryptography
+ Post-quantum cryptography
+ Blockchain and cryptocurrencies
+ Cryptographic computations
+ Applied cryptography
+ Software/Hardware implementations
+ Cryptographic hardware and embedded systems
+ Information security
+ Network security
+ Privacy and trust
+ Access control
+ Public key infrastructure

Paper submission

Papers (up to 6 pages in the two-column IEEE CPS Conference Style format or extended abstracts (up to 2 pages) must be electronically submitted using the submission system accessible on Easy Chair.

Publication

Accepted and presented papers will be included in a locally edited proceedings. Moreover, extended versions of the papers accepted and presented at the workshop will be considered as a special issue in the International Journal of Information Security Science. Other possibilities for publication will be announced during the workshop.

Program committee

+ Sedat Akleylek, Ondokuz Mayis University, Turkey
+ Murat Cenk, Middle East Technical University, Turkey
+ Besik Dundua, Tbilisi State University, Georgia
+ Mohamed Saied Emam, Darmstadt University of Technology, Germany
+ Baris Bulent Kirlar, Suleyman Demirel University, Turkey
+ Temur Kutsia, Johannes Kepler University, Austria
+ Mircea Marin, West University of Timisoara, Romania
+ Mikheil Rukhaia, Tbilisi State University, Georgia
+ Muharrem Tolga Sakalli, Trakya University, Turkey
+ Zulfukar Saygi, TOBB ETU, Turkey
+ Narasimha Shashidhar, Sam Houston State University, USA
+ Ahmet Sınak, Konya Necmettin Erbakan University, Turkey
+ Ion Tutanescu, Pitesti University, Romania
+ Oguz Yayla, Hacettepe University, Turkey

Workshop Organizers

+ Sedat Akleylek, Ondokuz Mayıs University, Samsun, Turkey
+ Besik Dundua, Tbilisi State University, Georgia
+ Temur Kutsia, Johannes Kepler University, Austria
+ Mircea Marin, West University of Timisoara, Romania
+ Mikheil Rukhaia, Tbilisi State University, Georgia