SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu, Ruxandra Icleanu, Guido Martínez, Exequiel Rivas, Théo Winterhalter. SecRef*: Securely Sharing Mutable References between Verified and Unverified Code in F. Proceedings of the ACM on Programming Languages, 9(ICFP):510-540, 2025. [doi]

This author has not been identified. Look up 'Cezar-Constantin Andrici' in GoogleThis author has not been identified. Look up 'Danel Ahman' in GoogleThis author has not been identified. Look up 'Catalin Hritcu' in GoogleThis author has not been identified. Look up 'Ruxandra Icleanu' in GoogleThis author has not been identified. Look up 'Guido Martínez' in GoogleThis author has not been identified. Look up 'Exequiel Rivas' in GoogleThis author has not been identified. Look up 'Théo Winterhalter' in Google

runs on WebDSL