Formalization and Verification of the Shim6 Protocol Publication on formalization and verification of the shim6 protocol. Related links: Download Abstract publication research