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

KIM Yan

ORCID
0000-0001-7523-8783
Main Referenced Co-authors
JAMROGA, Wojciech  (4)
Kurpiewski, Damian (3)
RYAN, Peter Y A  (2)
Jamroga, Wojciech (1)
Pazderski, Witold (1)
Main Referenced Keywords
Approximate verification (1); Artificial Intelligence (1); Coercion-resistance (1); coercion-resistance (1); Computer Science (all) (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 (6)

Publications (total 6)

The most downloaded
367 downloads
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 https://hdl.handle.net/10993/61409

The most cited

21 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

KIM, Y., JAMROGA, W., & Ryan, P. Y. A. (2025). Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. In M. Mehrnezhad (Ed.), Socio-Technical Aspects in Security - 12th International Workshop, STAST 2022, Revised Selected Papers. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-83072-3_4
Peer reviewed

Kurpiewski, D., Jamroga, W., & KIM, Y. (2025). Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models. In J. Kwok (Ed.), Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025. International Joint Conferences on Artificial Intelligence. doi:10.24963/ijcai.2025/17
Peer reviewed

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