Multi-run Security

DOI10.1007/978-3-642-23822-2_21MaRDI QIDQ3100902zbMATH OpenOpenAlexFDO

Authors Arnar Birgisson, Andrei Sabelfeld

Publication date 22 November 2011

Published in Computer Security – ESORICS 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23822-2_21

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1676640
• Security of Sequential Multiple Encryption
• Multithreat multisite protection: a security case study
• Security for multithreaded programs under cooperative scheduling

Cited in

(2)

• Spot the difference: secure multi-execution and multiple facets
• Run-time verification for observational determinism using dynamic program slicing

This page was built for publication: Multi-run Security

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100902)