Symbol security condition considered harmful | IEEE Conference Publication | IEEE Xplore