activity
20222026
most citedFORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols

9 citations · 10 across the 10 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2025

Automated Repair of OpenID Connect Programs (Extended Version)

Tamjid Al Rahat, Yanju Chen, Yu Feng +1

OpenID Connect has revolutionized online authentication based on single sign-on (SSO) by providing a secure and convenient method for accessing multiple services with a single set…