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

IJOE 2018   International Journal on Organic Electronics
C2SI 2019   3rd International Conference on Codes, Cryptology and Information Security
NECO 2018   7thInternational Conference of Networks and Communications
SECITC 2018   11th International Conference on Security for Information Technology and Communications
RASS 2018   Special issue on Recent Advances in Software Security - EURASIP Journal on Information Security
SCSN 2019   International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
AVC 2018   Advances in Vision Computing: An International Journal
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
IEEE DSC 2018   The 2018 IEEE Conference on Dependable and Secure Computing