TABATABAEI, M. (2016). GAMES AND STRATEGIES IN ANALYSIS OF SECURITY PROPERTIES [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/29502 |
TABATABAEI, M., JAMROGA, W., & RYAN, P. (2016). Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. In The International Workshop on AI for Privacy and Security (PrAISe), 2016. Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2016). Preventing Coercion in E-Voting: Be Open and Commit. In Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID). doi:10.1007/978-3-319-52240-1_1 Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2016). Information Security as Strategic (In)effectivity. In 12th International Workshop on Security and Trust Management (STM), 2016. doi:10.1007/978-3-319-46598-2_11 Peer reviewed |
Jamroga, W., & TABATABAEI, M. (2015). Strategic Noninterference. In ICT Systems Security and Privacy Protection (pp. 67--81). Springer. Peer reviewed |
Jamroga, W., & TABATABAEI, M. (2015). Accumulative knowledge under bounded resources. Journal of Logic and Computation, 003. doi:10.1093/logcom/exv003 Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2013). Accumulative Knowledge Under Bounded Resources. In Computational Logic in Multi-Agent Systems (pp. 17). Berlin Heidelberg, Unknown/unspecified: Springer. Peer reviewed |
TABATABAEI, M., JAMROGA, W., & RYAN, P. (17 March 2013). Preventing Coercion in E-Voting: Be Open and Commit [Paper presentation]. 1st Workshop on Hot Issues in Security Principles and Trust. |
SEREDYNSKI, M., DANOY, G., TABATABAEI, M., BOUVRY, P., & PIGNÉ, Y. (2012). Generation of Realistic Mobility for VANETs Using Genetic Algorithms. Proceedings of the IEEE Congress on Evolutionary Computation, 1-8. doi:10.1109/CEC.2012.6252987 Peer reviewed |