H16: Formal methods and techniques for Cybersecurity

Paper Submission for H16

SMC2018:H16 submission site (external site)


Cybersecurity represents a challenging research field in the current international context. The critical infrastructures, which are operated and controlled by computers and automation systems, are the preferred target of various attackers ranging from script kiddies to cyberterrorists. The defenders should develop and implement cyber-defense strategies that cover all possible attack scenarios. This objective can be reached only by using formal methods, which represent a powerful approach for modelling the complex systems as mathematical entities.The main goal of this special session is to present current and ongoing efforts in software and systems’ security and to bring together researchers and practitioners in the world to discuss methods and techniques for designing secure systems. We particularly welcome papers on formal methods for security.
The topics of interest include, but are not limited to:

  • Formal Methods for security
  • Cryptographic protocols
  • Cryptography and Cryptanalysis
  • Privacy, trust, security and anonymity
  • 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
  • Suspect Behavior Profiling
  • Anomaly Detection
  • Automated Handling of Dangerous Situations or People
  • Stationary or Mobile Object Detection, Recognition and Classification
  • Intrusion Detection Systems
  • Cyber-Security
  • Miscellaneous security issues.

Session Chairs