Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ruxandra Icleanu
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Wed 2 Jul 2025
Name:
Ruxandra Icleanu
Affiliation:
University of Edinburgh
Contributions
2025
ICFP
Author of SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F* within the ICFP Papers-track
Share
x
Sat 25 Oct 16:00