Securing Software Through Mathematics and Domain-Specific Knowledge: Innovations and Applications
A special issue of Mathematics (ISSN 2227-7390). This special issue belongs to the section "E: Applied Mathematics".
Deadline for manuscript submissions: 20 January 2026 | Viewed by 160
Special Issue Editors
Interests: software security; formal verification; intelligent software testing; vulnerability analysis; AI security; AI-assisted software security; vulnerability evolution
Special Issue Information
Dear Colleagues,
Software security and domain knowledge are critical pillars in modern computing, driving innovation across industries such as healthcare, finance, and critical infrastructure. As systems become increasingly complex, the integration of domain-specific knowledge and robust security measures is essential to address emerging threats and ensure reliability.
We invite you to contribute original research articles focusing on mathematical innovations and challenges in software security and domain knowledge engineering. This Special Issue aims to showcase cutting-edge research that bridges theoretical foundations with practical applications, fostering interdisciplinary collaboration.
Broad Topics
The scope of this Special Issue includes, but is not limited to, the following:
- Mathematical Innovations in Domain Knowledge Engineering:Software security related knowledge representation, reasoning, and integration in complex systems.
- Mathematical Methods in Software Security: Vulnerability analysis, penetration testing, secure coding practices, and threat modeling.
- AI-Driven Security: Machine learning for anomaly detection, automated threat response, and adversarial attacks.
- Formal Methods:Model checking, theorem proving, and verification for secure software design.
- Cybersecurity in Emerging Technologies: IoT security, blockchain vulnerabilities, and quantum-resistant cryptography.
Dr. Wei Zheng
Dr. Xiaoxue Wu
Guest Editors
Manuscript Submission Information
Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.
Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Mathematics is an international peer-reviewed open access semimonthly journal published by MDPI.
Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.
Keywords
- domain knowledge graph
- software security
- vulnerability analysis
- security testing
- formal methods
- AI in cybersecurity
- LLMS for software security
- LLM security
- IoT security
- blockchain security
- adversarial machine learning
Benefits of Publishing in a Special Issue
- Ease of navigation: Grouping papers by topic helps scholars navigate broad scope journals more efficiently.
- Greater discoverability: Special Issues support the reach and impact of scientific research. Articles in Special Issues are more discoverable and cited more frequently.
- Expansion of research network: Special Issues facilitate connections among authors, fostering scientific collaborations.
- External promotion: Articles in Special Issues are often promoted through the journal's social media, increasing their visibility.
- e-Book format: Special Issues with more than 10 articles can be published as dedicated e-books, ensuring wide and rapid dissemination.
Further information on MDPI's Special Issue policies can be found here.
