Author:
Blahoudek František,Chen Yu-Fang,Chocholatý David,Havlena Vojtěch,Holík Lukáš,Lengál Ondřej,Síč Juraj
Publisher
Springer International Publishing
Reference66 articles.
1. OWASP: Top 10 (2013). https://www.owasp.org/images/f/f8/OWASP_Top_10_-_2013.pdf
2. OWASP: Top 10 (2017). https://owasp.org/www-project-top-ten/2017/
3. OWASP: Top 10 (2021). https://owasp.org/Top10/
4. Hadarean, L.: String solving at Amazon (2019). Presented at MOSCA 2019. https://mosca19.github.io/program/index.html
5. Alt, L., Blicha, M., Hyvärinen, A.E.J., Sharygina, N.: SolCMC: solidity compiler’s model checker. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification (CAV 2022). LNCS, vol. 13371, pp. 325–338. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-13185-1_16
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parikh’s Theorem Made Symbolic;Proceedings of the ACM on Programming Languages;2024-01-05
2. Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic;Lecture Notes in Computer Science;2024
3. Mata: A Fast and Simple Finite Automata Library;Lecture Notes in Computer Science;2024
4. Z3-Noodler: An Automata-based String Solver;Lecture Notes in Computer Science;2024
5. Black Ostrich: Web Application Scanning with String Solvers;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15