Call for Papers
===============
Workshop on Practical and Theoretical Aspects of Information Security and Cryptology (PaTAISC 2018) in the framework of 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2018)
https://synasc.ro/2018/workshops/pataisc-2018/
Timisoara, Romania
September 20 – 23, 2018
Workshop deadlines
==================
Submission of papers: June 24, 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

For more details: akleylek@gmail.com