posted by user: akleylek || 283 views || tracked by 2 users: [display]

PaTAISC 2018 : Workshop on Practical and Theoretical Aspects of Information Security and Cryptology

FacebookTwitterLinkedInGoogle

Link: https://synasc.ro/2018/workshops/pataisc-2018/
 
When Sep 20, 2018 - Sep 23, 2018
Where Timisoara, Romania
Submission Deadline Jun 24, 2018
Notification Due Jul 30, 2018
Final Version Due Sep 1, 2018
Categories    information security   cryptology   cyber security   formal verification
 

Call For Papers

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

Related Resources

SECITC 2018   11th International Conference on Security for Information Technology and Communications
C2SI 2019   3rd International Conference on Codes, Cryptology and Information Security
ACISP 2019   The 24th Australasian Conference on Information Security and Privacy
CyberHunt - 2018   International Workshop on Big Data Analytics for Cyber Threat Hunting
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
SEA 2019   8th International Conference on Software Engineering and Applications
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
FI-IoTSP 2018   Future Internet Journal: Special Issue on IoT Security and Privacy