ParDiff: Practical Static Differential Analysis of Network Protocol Parsers.
Proc. ACM Program. Lang., 2024
LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis.
CoRR, 2024
A NAND Use Case for Cybersecurity Experiments.
Proceedings of the IEEE Secure Development Conference, 2024
FuzzInMem: Fuzzing Programs via In-memory Structures.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
IPL: Leveraging Multimodal Large Language Models for Intelligent Product Listing.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing: EMNLP 2024, 2024
TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
StochFuzz: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021
Correlations between deep neural network model coverage criteria and model quality.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
SLF: fuzzing without valid seed inputs.
Proceedings of the 41st International Conference on Software Engineering, 2019