Symmetric encryption in a simulatable Dolev-Yao style cryptographic library | IEEE Conference Publication | IEEE Xplore