Expressing receipt-freeness and coercion-resistance in logics of strategic ability: Preliminary attempt M Tabatabaei, W Jamroga, PYA Ryan Proceedings of the 1st International Workshop on AI for Privacy and Security …, 2016 | 29 | 2016 |
Generation of realistic mobility for VANETs using genetic algorithms M Seredynski, G Danoy, M Tabatabaei, P Bouvry, Y Pigné 2012 IEEE Congress on Evolutionary Computation, 1-8, 2012 | 15 | 2012 |
Preventing coercion in e-voting: Be open and commit W Jamroga, M Tabatabaei Electronic Voting: First International Joint Conference, E-Vote-ID 2016 …, 2017 | 14 | 2017 |
Accumulative knowledge under bounded resources W Jamroga, M Tabatabaei International Workshop on Computational Logic in Multi-Agent Systems, 206-222, 2013 | 8 | 2013 |
Strategic noninterference W Jamroga, M Tabatabaei ICT Systems Security and Privacy Protection: 30th IFIP TC 11 International …, 2015 | 5 | 2015 |
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory M Tabatabaei, W Jamroga Proceedings of the 2023 International Conference on Autonomous Agents and …, 2023 | 3 | 2023 |
Accumulative knowledge under bounded resources W Jamroga, M Tabatabaei Journal of Logic and Computation 28 (3), 581-604, 2018 | 2 | 2018 |
Games and Strategies in Analysis of Security Properties M Tabatabaei Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2016 | 2 | 2016 |
Preventing coercion in e-voting: Be open and commit M Tabatabaei, W Jamroga, P Ryan 1st Workshop on Hot Issues in Security Principles and Trust, 2013 | 2 | 2013 |
Information Security as Strategic (In) effectivity W Jamroga, M Tabatabaei International Workshop on Security and Trust Management, 154-169, 2016 | 1 | 2016 |