posted by user: akleylek || 866 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

CANS 2020   Cryptology and Network Security
CRYPIS 2020   9th International Conference on Cryptography and Information Security
CASON 2020   The 9th International Conference on Computational Aspects of Social Networks
CSW 2021   2021 International Workshop on Cyber Security (CSW 2021)
STACS 2020   Symposium on Theoretical Aspects of Computer Science
ICSFrontiers 2020   2020 2nd International Conference on Frontiers of Information and Communications Security (ICSFrontiers 2020)
SCIS 2020   4th IEEE Conference on Smart Cities and Innovative Systems
SocialSec 2020   6th International Symposium on Security and Privacy in Social Networks and Big Data
IEEE--ICISPP--Ei Compendex, Scopus 2020   IEEE--2020 International Conference on Information Security and Privacy Protection (ICISPP 2020)--Ei Compendex, Scopus
IWCC 2020   9th International Workshop on Cyber Crime