Formal Methods For Analysis Of Secure, Reliable, And Verifiable Voting Schemes

Doctoral thesis (Dissertations and theses)

KIM, Yan

2024

Permalink
https://hdl.handle.net/10993/61409

FINAL.pdf

Author postprint (3.65 MB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

KIM, Yan ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA

Language :

English

Title :

Formal Methods For Analysis Of Secure, Reliable, And Verifiable Voting Schemes

Defense date :

17 April 2024

Institution :

Unilu - University of Luxembourg [The Faculty of Science, Technology and Medicine], Esch-sur-Alzette, Luxembourg

Degree :

Docteur en Informatique (DIP_DOC_0006_B)

Promotor :

JAMROGA, Wojciech ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA

President :

VÖLP, Marcus ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > CritiX

Jury member :

RYAN, Peter Y A ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Schürmann Carsten; IT University of Copenhagen

Penczek Wojciech; Institute of Computer Science of the Polish Academy of Sciences

Available on ORBilu :

since 19 June 2024

Number of views

99 (19 by Unilu)

Number of downloads

187 (17 by Unilu)