%0 Journal Article %T How efficient are replay attacks against vote privacy? A formal quantitative analysis1 %A Mestel, David %A Müller, Johannes %A Reisert, Pascal %J Journal of Computer Security %V 31 %N 5 %P 421-467 %@ 0926-227X %D 2023-10-13 %I SAGE Publications %~ DeepDyve