Yi Chen

Google Scholar
12 publications in security and cryptology related venues
Year
Venue
Title
2024
conf/uss
Racing on the Negative Force: Efficient Vulnerability Root-Cause Analysis through Reinforcement Learning on Counterexamples.
2023
conf/uss
Sherlock on Specs: Building LTE Conformance Tests through Automated Reasoning.
2022
conf/uss
Seeing the Forest for the Trees: Understanding Security Hazards in the 3GPP Ecosystem through Intelligent Analysis on Change Requests.
2019
conf/uss
Devils in the Guidance: Predicting Logic Vulnerabilities in Payment Syndication Services through Automated Documentation Analysis.
Filters
Years:  to