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

KIM Yan

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

Main Referenced Co-authors
JAMROGA, Wojciech  (2)
Kurpiewski, Damian (2)
Pazderski, Witold (1)
RYAN, Peter Y A  (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 (2)

Publications (total 2)

The most downloaded
168 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

11 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

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