[go: up one dir, main page]

Follow
Masoud Tabatabaei
Masoud Tabatabaei
Verified email at uni.lu
Title
Cited by
Cited by
Year
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
302016
Preventing coercion in e-voting: Be open and commit
W Jamroga, M Tabatabaei
International Joint Conference on Electronic Voting, 1-17, 2016
162016
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
152012
Accumulative knowledge under bounded resources
W Jamroga, M Tabatabaei
International Workshop on Computational Logic in Multi-Agent Systems, 206-222, 2013
102013
Playing to Learn, or to Keep Secret: Alternating-Time Logic Meets Information Theory
M Tabatabaei, W Jamroga
arXiv preprint arXiv:2303.00067, 2023
62023
Strategic noninterference
W Jamroga, M Tabatabaei
IFIP International Information Security and Privacy Conference, 67-81, 2015
52015
Accumulative knowledge under bounded resources
W Jamroga, M Tabatabaei
Journal of Logic and Computation 28 (3), 581-604, 2018
22018
Games and Strategies in Analysis of Security Properties
M TABATABAEI
Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2016
22016
Information Security as Strategic (In) effectivity
W Jamroga, M Tabatabaei
International Workshop on Security and Trust Management, 154-169, 2016
22016
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
22013
The system can't perform the operation now. Try again later.
Articles 1–10