Lazy Self-composition for Security Verification-Reference-Cited by-同舟云学术

Lazy Self-composition for Security Verification

Published:2018 Issue: Volume: Page:136-156
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Yang Weikun,Vizel Yakir,Subramanyan Pramod,Gupta Aarti,Malik Sharad

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-96142-2_11

Reference35 articles.

1. 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)

2. 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)

3. Babil, G.S., Mehani, O., Boreli, R., Kaafar, M.: On the effectiveness of dynamic taint analysis for protecting against private information leaks on Android-based devices. In: Proceedings of Security and Cryptography (2013)

4. Lecture Notes in Computer Science;G Barthe,2011

5. Barthe, G., D’Argenio, P.R., Rezk,T.: Secure information flow by self-composition. In: 17th IEEE Computer Security Foundations Workshop, CSFW-17, pp. 100–114 (2004)

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

1. Learning-based black box checking for k-safety hyperproperties;Engineering Applications of Artificial Intelligence;2023-11

2. Usage-Based RTL Subsetting for Hardware Accelerators;Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design;2022-10-30

3. PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation;Computer Aided Verification;2022

4. Bounded Model Checking of Speculative Non-Interference;2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD);2021-11-01

5. Compositional Model Checking for Multi-properties;Lecture Notes in Computer Science;2021