Multi-run Security

DOI10.1007/978-3-642-23822-2_21zbMATH Open1477.68050OpenAlexW54762625MaRDI QIDQ3100902FDOQ3100902

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

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

Mathematics Subject Classification ID

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

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)