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

EMTTSS 2018 : Emergent Methods, Techniques and Tools for Systems’ Security

FacebookTwitterLinkedInGoogle

Link: http://codit2018.com/index.php/special-sessions
 
When Apr 10, 2018 - Apr 13, 2018
Where Thessaloniki, Greece
Submission Deadline Jan 7, 2018
Notification Due Feb 4, 2018
Final Version Due Feb 22, 2018
Categories    computer security   software security   network security   web applications security
 

Call For Papers

Registered and Presented papers will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases.

Proceedings of Past Editions

Proceedings of all past editions of CoDIT are published through IEEE Xplore and indexed in:

DBLP, Conference Proceedings Citation Index | Thomson Reuters, SCOPUS, Ei Compendex and IEEE.


Session Co-Chairs :
-Dr. Jaouhar Fattahi, Université Laval, Québec, Canada.
-Prof. Mohamed Mejri, Université Laval, Québec, Canada.
-Ass. Prof. Manolo DulvaHina, ECE Paris École d'Ingénieurs, France.
-Ass. Prof. Hatem Ben Sta, University of Tunis El Manar, Tunisia.

Session description:
This special session deals with the problems related to systems' security.With the increasing complexity of computer systems and communication networks, the requirements for security have become more and more demanding. Hence, there is a grand challenge that traditional security technologies and measures may not satisfy user requirements in such open, heterogeneous, dynamic, mobile, distributed and wireless computing environments. Thus, we need to design and create systems and networks in which various applications while preserving security.
The main aimof this special session is to bring together researchers and practitioners in the world, working on systems’ security,to discuss methods and techniques for designing and building secure systems. 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 issues


Related Resources

SIMUtools 2020   12th EAI International Conference on Simulation Tools and Techniques
ICISSP 2020   6th International Conference on Information Systems Security and Privacy
SoMeT 2020   New Trends in Intelligent Software Methodologies, Tools and Techniques
InWeS 2019   10th International Conference on Internet Engineering & Web Services
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
FGCS-ETDNS 2020   Future Generation Computer Systems SI on Emerging Topics in Defending Networked Systems
TACAS 2020   Tools and Algorithms for Construction and Analysis of Systems
SCSN 2020   The Eighth IEEE International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
FTSCS 2019   7th International Workshop on Formal Techniques for Safety-Critical Systems
Cyber Security 2020   IEEE International Conference on Cyber Security and Protection of Digital Services