Symmetric encryption in automatic analyses for confidentiality against active adversaries | IEEE Conference Publication | IEEE Xplore