2021

First International Conference on Autonomous Intelligent Cyber-defence Agents (AICA 2021)

Faced with future hugely complex networks, systems and infrastructures on one hand, and with the anticipated huge growth of safety-critical autonomous systems on the other hand, human operators will not be in a position to monitor the cybersecurity of these assets and will not be able anymore to respond to cyber-attacks at the speed, scale and level of complexity needed.

34th IEEE Computer Security Foundations Symposium (CSF 2021)

The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled "The Foundations of Computer Security--We Need Some." The meeting became a "symposium" in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. For more details on the history of the symposium, visit CSF's home.

The program includes papers, panels, and a poster session. Topics of interest include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area.

Network and Distributed System Security Symposium (NDSS)

The Network and Distributed System Security Symposium (NDSS) is a top venue that fosters information exchange among researchers and practitioners of computer, network and distributed system security. The target audience includes those interested in practical aspects of network and distributed system security, with a focus on actual system design and implementation. A major goal is to encourage and enable the Internet community to apply, deploy, and advance the state of practical security technologies.

NASA Formal Methods Symposium 2021 (NFM 2021)

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

IEEE 93rd Vehicular Technology Conference (VTC 2021)

This semi-annual flagship conference of IEEE Vehicular Technology Society will bring together individuals from academia, government, and industry to discuss and exchange ideas in the fields of wireless, mobile, and vehicular technology.

IEEE VTC2021-Spring will feature world-class plenary speakers, tutorials, technical as well as application sessions, and an innovative Industry Track, which will feature panels and presentations with industry leaders sharing their perspectives on the latest technologies.