Collected research
AuthSaber: Automated Safety Verification of OpenID Connect Programs
This is a publication listing page from a university lab site for a conference paper on automated safety verification of OpenID Connect implementations, presented at the 31st ACM Conference on Computer and Communications Security in 2024. It records the three authors, the venue and the month of publication, but the abstract field is empty and the surrounding text is the publishing template's placeholder copy; the research itself is not present on this page.
Record
- Researcher
- Yuan Tian and @GetResearchDev
- Published by
- UCLA Security Lab
- Date
- Topic
- Other
In the archive
Tags
This page is the archive's own catalogue record. The research is the work of Yuan Tian and @GetResearchDev, first published at the original source. Preserved copies are kept so the citation survives its host; this one was last captured on .