Introducing security analysis in computer security courses through an electronic voting project | IEEE Conference Publication | IEEE Xplore