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

IFIPSEC 2019   IFIP Information Security Conference & Privacy Conference - IFIP Technical Commitee 11
SPT-SN-IoT 2019   Special Issue Security, Privacy, and Trustworthiness of Sensor Networks and Internet of Things
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
ACISP 2019   The 24th Australasian Conference on Information Security and Privacy
IEEE--ICCT--Ei and Scopus 2019   2019 19th IEEE International Conference on Communication Technology (ICCT 2019)--Ei Compendex and Scopus
STACS 2019   36th International Symposium on Theoretical Aspects of Computer Science
CSITS 2018   International Workshop on Cyber Security for Intelligent Transportation Systems
ICDIS 2019   The 2nd International Conference on Data Intelligence and Security
AIP 2019   Journal on Social and Business Aspects of Informatics - Acta Informatica Pragensia
PADL 2019   International Symposium on Practical Aspects of Declarative Languages