Compositional Security for Reentrant Applications

Explore the concept of compositional security for reentrant applications in this 14-minute IEEE presentation. Delve into the intricacies of reentrancy, examining existing approaches and the importance of locking integrity. Compare static and dynamic locks, learn how to fix data issues, and gain a comprehensive understanding of this crucial aspect of application security.