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
Spot the difference: secure multi-execution and multiple facets - MaRDI portal

Spot the difference: secure multi-execution and multiple facets

From MaRDI portal

Publication:2165478

Jump to:navigation, search

DOI10.1007/978-3-319-45744-4_25zbMath1499.68047OpenAlexW2519680833MaRDI QIDQ2165478

Nataliia Bielova, Tamara Rezk

Publication date: 19 August 2022

Full work available at URL: https://hal.inria.fr/hal-01348192/file/main.pdf

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Computer security (68M25)

Related Items (1)

Sound symbolic execution via abstract interpretation and its application to security

This page was built for publication: Spot the difference: secure multi-execution and multiple facets

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