Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach

Sophie Lathouwers, Maarten H. Everts, Marieke Huisman. Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. In Steven Furnell, Paolo Mori, Edgar R. Weippl, Olivier Camp, editors, Proceedings of the 6th International Conference on Information Systems Security and Privacy, ICISSP 2020, Valletta, Malta, February 25-27, 2020. pages 784-795, SCITEPRESS, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.