BALOGLU Sevdenur

Main Referenced Co-authors

Main Referenced Keywords

e-voting (1); formal verification (1); verifiability (1);

Main Referenced Unit & Research Centers

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Other (1)

Main Referenced Disciplines

Computer science (1)

Publications (total 1)

Search in publications

The most downloaded

173 downloads

BALOGLU, S. (2023). Formal Verification of Verifiability in E-Voting Protocols [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/55700 https://hdl.handle.net/10993/55700

https://hdl.handle.net/10993/55700