David Swasey

Papers

Robust and Compositional Verification of Object Capability Patterns by David Swasey, Deepak Garg, and Derek Dreyer

© 2024 Agoric Systems Operating Company. All Rights Reserved.

[email protected]

Subscribe to our newsletter for updates