compact view print

SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★

author
Andrici, Cezar-Constantin
Ahman, Danel
Hritcu, Catalin
Icleanu, Ruxandra
Martinez, Guido
Rivas, Exequiel
Winterhalter, Theo
statement of authorship
Cezar-Constantin Andrici, Danel Ahman, Cătălin Hriţcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter
source
Proceedings of the ACM on Programming Languages
publisher
ACM
journal volume number month
vol. 9, no. ICFP
year of publication
2025
pages
art 253, p. 510-540
url
https://doi.org/10.1145/3747522
subject term
verifikatsioon
viited
keyword
secure compilation
formal verification
proof assistants
monotonic state
ISSN
2475-1421
notes
Bibliogr.: 62 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
TalTech department
tarkvarateaduse instituut
language
inglise
Andrici, C.-C., Ahman, D., Hriţcu, C., Icleanu, R., Martinez, G., Rivas, E., Winterhalter, T. SecRef★: Securely Sharing Mutable References betweenVerified and Unverified Code in F★ // Proceedings of the ACM on Programming Languages (2025) vol. 9, no. ICFP, art 253, p. 510-540. https://doi.org/10.1145/3747522