Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy

Alessandro Bruni, Eva Drewsen, Carsten Schürmann

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Towards a Mechanized Proof of Selene Receipt-Freeness and Vote-Privacy'. Sammen danner de et unikt fingeraftryk.