Reproduce “Automated Repair of OpenID Connect Programs (Extended Version)” on OpenResearch
Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.
Universal app for Apple silicon and Intel. Requires macOS 11 or later.
About this paper
Tamjid Al Rahat, Yanju Chen, Yu Feng, Yuan Tian
AuthFix repairs OpenID Connect authentication bugs by using a language model to propose candidate edits and checking their behavior against manually constructed Petri-net models of protocol requirements. In a benchmark of 23 bugs, it produced correct fixes for 17, compared with 7 for ThinkRepair and 4 for LLM inference alone. These results apply to the selected modeled requirements.
Summary by alphaXiv.
Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.