Author:
Kleine Kristoffer,Simos Dimitris E.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SoK: Automated Software Testing for TLS Libraries;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30
2. Covering Arrays ML HPO for Static Malware Detection;Eng;2023-02-09
3. Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations;ACM Transactions on Software Engineering and Methodology;2023-01-31
4. ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
5. Combinatorial methods for dynamic gray‐box SQL injection testing;Software Testing, Verification and Reliability;2022-07-04