Work

Attacker Control and Bug Prioritization

Year: 2025

Type: preprint

Abstract: A CNF formula benchmark for projected model counting, assembled from the research artifacts of "Attacker Control and Bug Prioritization" (USENIX Security 2025) for MCComp 2025.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2501.17740

Authors: Lacombe, Guilhem, Bardin, Sébastien

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Université Paris-Saclay, CEA Paris-Saclay - Etablissement de Saclay, Laboratoire d'Intégration des Systèmes et des Technologies

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Awards: G1190173965, Recherche et Exploitation de Vulnérabilités, Improving Software Systems Security Evaluation

OpenAlex ID: W4406975763

Cites: 1

Cited by:

Related to: 10