All Posts By

Dimitrios Tsoukalas, Miltiadis Siavvas, Maria Mathioudaki and Dionysios Kehagias, Centre for Research and Technology Hellas

Publications

Tsoukalas D, Siavvas M, Mathioudaki M, Kehagias D. 2021. An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results. 21st International Conference on Software Quality, Reliability and Security (IEEE QRS).

Conference: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS 2021) Authors: Tsoukalas D, Siavvas M, Mathioudaki M, Kehagias D. Abstract: Critical software vulnerabilities are often caused by incorrect, vague, or missing security requirements. Hence, there is a strong need in the software engineering community for tools that…