Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Adversarial reachability for program-level security analysis - MaRDI portal

Adversarial reachability for program-level security analysis

From MaRDI portal

Publication:6535227

Jump to:navigation, search

DOI10.1007/978-3-031-30044-8_3zbMath1541.68105MaRDI QIDQ6535227

Soline Ducousso, Sébastien Bardin, Marie-Laure Potet

Publication date: 24 November 2023

zbMATH Keywords

program analysis symbolic execution fault injection attacker model

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Adversarial reachability for program-level security analysis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6535227&oldid=40055678"