Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage-Reference-Cited by-同舟云学术

Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Mesecan Ibrahim¹^ORCID,Blackwell Daniel²^ORCID,Clark David²^ORCID,Cohen Myra³^ORCID,Petke Justyna²^ORCID

Affiliation:

1. Iowa State University, USA

2. University College London, United Kingdom

3. Iowa State University, United States of America

Funder

National Science Foundation

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3556947

Reference47 articles.

1. [ 1 ] 2022. https://github.com/LavaOps/LeakReducer/. [1] 2022. https://github.com/LavaOps/LeakReducer/.

2. AFL 2022. American Fuzzy Lop plus plus (AFL++). https://github.com/AFLplusplus/AFLplusplus. Accessed: 2022-05-22. AFL 2022. American Fuzzy Lop plus plus (AFL++). https://github.com/AFLplusplus/AFLplusplus. Accessed: 2022-05-22.

3. Johan Agat . 2020 . Transforming Out Timing Leaks. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , Boston, Massachusetts, USA , January 19-21, 2000, Mark N. Wegman and Thomas W. Reps (Eds.). ACM. Johan Agat. 2020. Transforming Out Timing Leaks. In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, Mark N. Wegman and Thomas W. Reps (Eds.). ACM.

4. M. S. Alvim K. Chatzikokolakis A. McIver C. Morgan C. Palamidessi and G. Smith. 2020. The Science of Quantitative Information Flow. Springer. M. S. Alvim K. Chatzikokolakis A. McIver C. Morgan C. Palamidessi and G. Smith. 2020. The Science of Quantitative Information Flow. Springer.

5. PyGGI 2.0: language independent genetic improvement framework

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

1. Hypertesting of Programs: Theoretical Foundation and Automated Test Generation;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12