Enhancing Real-Time Operating System Security Analysis via Slice-based Fuzzing
Published in IEEE Transactions on Software Engineering, 1900
Posts by Collection
publications
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Published in The 31st Symposium on Operating Systems Principles, 1900
Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
Published in , 1900
teaching
NIS8017: Security Vulnerability Assessment
Graduate course, SJTU, 2023
This is a description of a teaching experience. You can use markdown like any other post.