posted by user: AYCEMT || 872 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

ACNS 2019   International Conference on Applied Cryptography and Network Security
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SCSN 2019   International Workshop on Semantic Computing for Social Networks and Organization Sciences: from user information to social knowledge
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
CRC-Botnets 2018   Botnets: Architectures, Countermeasures, and Challenges
ASYNC 2018   24st IEEE International Symposium on Asynchronous Circuits and Systems
IJEL 2018   International Journal of Electromagnetics
AITMDST 2019   Applying Integration Techniques and Methods in Distributed Systems and Technologies
ELELIJ 2018   Electrical and Electronics Engineering: An International Journal
AI SEPS 2018   5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems