$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code | IEEE Conference Publication | IEEE Xplore