SaTC: CORE: Medium: Collaborative: Bridging the Gap Between Protocol Design and Implementation through Automated Mapping Download pdf Tags: Project Highlight Slides Formal Methods and Language-based Security Software Systems 1801342 1801399 1801546 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 13:38