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
Sun 13 Apr 11:50
