activity
20122026
most citedSteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs

27 citations · 83 across the 17 of their papers we have counts for

collaborators
Showing 2025 · cs.PLShow all

1 paper · 2 filters

cs.PL2025

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*

Cezar-Constantin Andrici, Danel Ahman, Catalin Hritcu +4

We introduce SecRef*, a secure compilation framework protecting stateful programs verified in F* against linked unverified code, with which the program dynamically shares ML-style…