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

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

collaborators
Showing 2025Show 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…