Back
  1. Home
  2. Profile of Yan KIM (Unilu)
Profil

KIM Yan

ORCID
0000-0001-7523-8783
Main Referenced Co-authors
JAMROGA, Wojciech  (3)
Kurpiewski, Damian (2)
RYAN, Peter Y A  (2)
Pazderski, Witold (1)
ROENNE, Peter  (1)
Main Referenced Keywords
Coercion-resistance (1); coercion-resistance (1); Computer Science (all) (1); Condition (1); formal methods (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA) (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
185 downloads
JAMROGA, W., KIM, Y., Kurpiewski, D., & RYAN, P. Y. A. (2020). Towards Model Checking of Voting Protocols in Uppaal. In Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020. Springer. doi:10.1007/978-3-030-60347-2_9 https://hdl.handle.net/10993/46367

The most cited

17 citations (Scopus®)

Kurpiewski, D., Pazderski, W., JAMROGA, W., & KIM, Y. (2021). STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Proceedings of AAMAS (pp. 1770--1772). ACM. https://hdl.handle.net/10993/49342

JAMROGA, W., ROENNE, P., KIM, Y., & RYAN, P. Y. A. (2024). “You Shall Not Abstain!” A Formal Study of Forced Participation. In J. Budurushi (Ed.), Financial Cryptography and Data Security. FC 2024 International Workshops - Voting, DeFI, WTSC, CoDecFin, Revised Selected Papers. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-69231-4_5
Peer reviewed

KIM, Y. (2024). Formal Methods For Analysis Of Secure, Reliable, And Verifiable Voting Schemes [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/61409

Kurpiewski, D., Pazderski, W., JAMROGA, W., & KIM, Y. (2021). STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Proceedings of AAMAS (pp. 1770--1772). ACM.
Peer reviewed

JAMROGA, W., KIM, Y., Kurpiewski, D., & RYAN, P. Y. A. (2020). Towards Model Checking of Voting Protocols in Uppaal. In Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020. Springer. doi:10.1007/978-3-030-60347-2_9
Peer reviewed

Contact ORBilu