Model Checking Algorithms for Hyperproperties (Invited Paper)-Reference-Cited by-同舟云学术

Model Checking Algorithms for Hyperproperties (Invited Paper)

Published:2021 Issue: Volume: Page:3-16
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Finkbeiner Bernd^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-67067-2_1

Reference18 articles.

1. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. Math. Struct. Comput. Sci. 21(6), 1207–1252 (2011)

2. Lecture Notes in Computer Science;L Bozzelli,2015

3. Lecture Notes in Computer Science;MR Clarkson,2014

4. Clarkson, M.R., Schneider, F.B.: Hyperproperties. J. Comput. Secur. 18(6), 1157–1210 (2010)

5. Coenen, N., Finkbeiner, B., Hahn, C., Hofmann, J.: The hierarchy of hyperlogics. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24–27, 2019, pp. 1–13. IEEE (2019)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Data-Driven Approach to Approximate Opacity Verification;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

2. Logics and Algorithms for Hyperproperties;ACM SIGLOG News;2023-04

3. Automata-Based Software Model Checking of Hyperproperties;Lecture Notes in Computer Science;2023

4. Generalized Arrays for Stainless Frames;Lecture Notes in Computer Science;2022

5. Correct-By-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid;IEEE Transactions on Dependable and Secure Computing;2022