@inproceedings{Thomas2025Riscover,
 author = {Fabian Thomas and Eric Garc{\'i}a Arribas and Lorenz Hetterich and Daniel Weber and Lukas Gerlach and Ruiyi Zhang and Michael Schwarz},
 booktitle = {CCS},
 title = {{RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabilities in Closed-Source RISC-V CPUs}},
 year = {2025}
}