Delegation with Trust: A Scalable, Type- and Memory-Safe Alternative to Locks. - Noaman Ahmad; Ben Baenen; Chen Chen; Jakob Eriksson (CoRR, 2024)