Yan Xiong

Google Scholar
8 publications in security and cryptology related venues
Year
Venue
Title
2025
conf/uss
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1.
2023
conf/uss
Automated Inference on Financial Security of Ethereum Smart Contracts.
2020
conf/uss
SmartVerif: Push the Limit of Automation Capability of Verifying Security Protocols by Dynamic Strategies.
Filters
Years:  to