Verification of Quantitative Hyperproperties Using Trace Enumeration Relations-Reference-Cited by-同舟云学术

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations

Published:2020 Issue: Volume: Page:201-224
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Sahai Shubham^ORCID,Subramanyan Pramod^ORCID,Sinha Rohit^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53288-8_11

Reference57 articles.

1. Lecture Notes in Computer Science;JB Almeida,2016

2. Almeida, J.B., Barbosa, M., Barthe, G., Dupressoir, F., Emmi, M.: Verifying constant-time implementations. In: 25th USENIX Security Symposium, USENIX Security, pp. 53–70 (2016)

3. Alvim, M.S., Andrés, M.E., Palamidessi, C.: Quantitative information flow in interactive systems. J. Comput. Secur. 20(1), 3–50 (2012)

4. Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T., Wei, S.: Decomposition instead of self-composition for proving the absence of timing channels. In: PLDI, pp. 362–375 (2017)

5. Antonopoulos, T., Gazzillo, P., Hicks, M., Koskinen, E., Terauchi, T., Wei, S.: Decomposition instead of self-composition for proving the absence of timing channels. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, New York, NY, USA, pp. 362–375. ACM (2017)

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

1. Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms;Lecture Notes in Computer Science;2024-09-11

2. UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis;Computer Aided Verification;2022

3. Interpretable noninterference measurement and its application to processor designs;Proceedings of the ACM on Programming Languages;2021-10-20

4. Short Paper: Modular Black-box Runtime Verification of Security Protocols;Proceedings of the 15th Workshop on Programming Languages and Analysis for Security;2020-11-09

5. Verification of Quantitative Hyperproperties Using Trace Enumeration Relations;Computer Aided Verification;2020