Complexity theoretic analysis of crypto-protocols-overview | IEEE Conference Publication | IEEE Xplore