Lazy self-composition for security verification
From MaRDI portal
Publication:6039399
DOI10.1007/978-3-319-96142-2_11zbMath1511.68171MaRDI QIDQ6039399
Weikun Yang, Sharad Malik, Yakir Vizel, Aarti Gupta, Pramod Subramanyan
Publication date: 5 May 2023
Published in: Computer Aided Verification (Search for Journal in Brave)
Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Efficient Information-Flow Verification Under Speculative Execution, Compositional model checking for multi-properties
