Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Matthias Schlaipfer
conf.researchr.org general profile
ICSE 2025 profile
Registered user since Mon 3 Mar 2025
Name:
Matthias Schlaipfer
Affiliation:
Amazon Web Services
Contributions
2025
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
Share
x
Fri 5 Sep 23:19
