Similar Items: Principles of Security and Trust
- Tools and Algorithms for the Construction and Analysis of Systems
- Computer Aided Verification
- Fundamental Approaches to Software Engineering
- Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Topic: Computer science
Topic: Computer security
- International Symposium on Mathematics, Quantum Theory, and Cryptography
- Face Recognition
- Security and Privacy From a Legal, Ethical, and Technical Perspective
- Security Infrastructure Technology for Integrated Utilization of Big Data
- Recent Advances in Face Recognition
- The Coupling of Safety and Security