A Risk Assessment Model for Voting Systems using Threat Trees and Monte Carlo Simulation | IEEE Conference Publication | IEEE Xplore