posted by user: AYCEMT || 3590 views || tracked by 1 users: [display]

EMTTCS (CoDIT) 2019 : Emergent Methods, Techniques and Tools for Cyber-Security

FacebookTwitterLinkedInGoogle

Link: http://codit19.com/Special-Sessions/EMTTSS_Cyber-Security.pdf
 
When Apr 23, 2019 - Apr 26, 2019
Where Paris - France
Submission Deadline Dec 5, 2018
Notification Due Feb 8, 2019
Final Version Due Feb 28, 2019
Categories    network security   computer security   software security   cyber-security
 

Call For Papers

Session Co-Chairs :
-Dr. Jaouhar Fattahi, Université Laval, Québec, Canada.
-Prof. Mohamed Mejri, Université Laval, Québec, Canada.
-Ass, Prof. Ridha Ghayoula, University of Tunis El Manar, Tunisia.
-Ass, Prof, Hager Kammoun, Faculté des Sciences de Sfax, Tunisia.
-Dr. Emil Pricop, Petroleum-Gas University of Ploiesti, Ploiesti, Romania.

Session description:
This special session focuses on cyber-security problems, technologies, and solutions. In fact, with the increasing complexity of communication networks, the requirements for security have become more and more critical and demanding. Nevertheless, traditional security technologies may not satisfy user requirements in such open, heterogeneous, dynamic, mobile, distributed and wireless computing environments. Therefore, we continuously need to design environments in which various applications can cooperate while preserving the security musts. The main purpose of this session is to bring together researchers and practitioners working on cyber-security to discuss emerging methods and techniques for designing and building secure systems, hosts, and networks.

We particularly welcome papers on formal methods for security. The topics of interest include, but are not limited to:
• Network security
• Computer security
• Software security
• Formal Methods for security
• Cryptographic protocols
• Biometrics
• Cryptography and Cryptanalysis
• Privacy, trust, security and anonymity
• Web applications security
• Security policy, model and architecture
• Security in parallel and distributed systems
• Security in mobile and wireless communications
• Security in grid/cloud/pervasive computing
• Authentication, authorization and accounting
• Security of 5G
• Miscellaneous security issue

Related Resources

SEFM 2022   20th International Conference on Software Engineering and Formal Methods
EI/Scopus--SPISCS 2022   2022 International Conference on Signal Processing, Information System and Cyber Security (SPISCS 2022)
SBMF 2022   25th Brazilian Symposium on Formal Methods
UBIC 2022   13th International Conference on Ubiquitous Computing
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
ICSS 2022   8th International Conference on Software Security
FMAS 2022   Fourth Workshop on Formal Methods for Autonomous Systems
ICISPP--Ei, Scopus 2022   2022 3rd International Conference on Information Security and Privacy Protection (ICISPP 2022)--Ei Compendex, Scopus
FACS 2022   18th International Conference on Formal Aspects of Component Software
ICCSAITCS 2022   International Conference on Cyber Security, Artificial Intelligence and Theoretical Computer Science