From Computationally-proved Protocol Specifications to Implementations | IEEE Conference Publication | IEEE Xplore