Marcus Birgersson, Cyrille Artho, Musard Balliu. Trust and Verify: Formally Verified and Upgradable Trusted Functions. In IEEE International Conference on Software Maintenance and Evolution, ICSME 2025, Auckland, New Zealand, September 7-12, 2025. pages 356-367, IEEE, 2025. [doi]
Abstract is missing.