Dependable Software Engineering. Theories, Tools, And Applications

The 21 full papers presented in this volume were carefully reviewed and selected from 87 submissions.The papers categorized into the following topical subheadings: cryptology; web and OS security; network security; detection of malware, attacks and vulnerabilities; and machine learning for security. This book constitutes the proceedings of the 24rd International Conference on Information Security, ISC 2021, held virtually, in November 2021.

0 and Smart City: Data Analytics and Security; Blockchain and IoT Applications; Machine Learning and Artificial Intelligence for Security and Privacy; Emerging Data Management Systems and Applications. The 24 full papers presented together with 2 invited keynotes were carefully reviewed and selected from 168 submissions.

The 24 full papers presented together with 2 invited keynotes were carefully reviewed and selected from 168 submissions.

Bengt has made major contributions covering a wide range of topics including verification and learning.Model Checking, Synthesis, and Learning Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.

His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research.