Mission of MIVELSA
Aim
MIVELSA aims to bring together researchers, practitioners, and industry experts working at the intersection of malware analysis, vulnerability evaluation, and logic‑driven security methods. The conference seeks to advance the scientific understanding of modern cyber threats by integrating empirical attack research with rigorous formal and logical approaches. Through this multidisciplinary perspective, MIVELSA promotes the development of secure, reliable, and resilient information systems.
Scope
MIVELSA covers research across malware intelligence, vulnerability evaluation, and logic‑driven security
analysis. The conference welcomes work that advances empirical understanding of cyber threats, improves
automated analysis techniques, or strengthens the theoretical foundations of secure systems.
Topics include:
- Malware Intelligence : malware behavior analysis, classification, threat intelligence,
ML‑based detection
- Vulnerability Evaluation : vulnerability discovery, exploitation, automated detection,
system weakness assessment
- Logical Security Analysis : formal methods, verification, logical reasoning, static
analysis
- Cross‑Domain Security : AI/ML for security, integrated analysis approaches, datasets,
reproducibility
Vision
MIVELSA positions itself as a venue that bridges empirical cybersecurity research and formal, logic‑based security analysis. By fostering collaboration across these traditionally separate communities, the conference aims to inspire innovative methodologies and deepen our collective understanding of emerging cyber threats.