A Method for Retrieving Cloud Microphysical Properties Using Combined Measurement of Millimeter-Wave Radar and Lidar.
Remote. Sens., February, 2024
Titan : Efficient Multi-target Directed Greybox Fuzzing.
Proceedings of the IEEE Symposium on Security and Privacy, 2024
Precise Compositional Buffer Overflow Detection via Heap Disjointness.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022
Precise Divide-By-Zero Detection with Affirmative Evidence.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022