Follow
Xin Sun
Xin Sun
Associate researcher, Sun Yat-sen University
Verified email at mail.sysu.edu.cn
Title
Cited by
Cited by
Year
A simple voting protocol on quantum blockchain
X Sun, Q Wang, P Kulicki, M Sopek
International Journal of Theoretical Physics 58 (1), 275-281, 2019
392019
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
L Robaldo, X Sun
Journal of Logic and Computation 27 (8), 2471-2503, 2017
342017
Towards quantum-secured permissioned blockchain: Signature, consensus, and logic
X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (9), 887, 2019
272019
Quantum technique for access control in cloud computing II: Encryption and key distribution
L Zhou, Q Wang, X Sun, P Kulicki, A Castiglione
Journal of Network and Computer Applications 103, 178-184, 2018
212018
Combining constitutive and regulative norms in input/output logic
X Sun, L Torre
International Conference on Deontic Logic in Computer Science, 241-257, 2014
162014
Game theoretic security of quantum bit commitment
L Zhou, X Sun, C Su, Z Liu, KKR Choo
Information Sciences 479, 503-514, 2019
142019
On the complexity of input/output logic
X Sun, L Robaldo
Journal of Applied Logic 25, 69-88, 2017
132017
How to build input/output logic
X Sun
International Workshop on Computational Logic and Multi-Agent Systems, 123-137, 2014
132014
The paradoxes of permission an action based solution
D Gabbay, L Gammaitoni, X Sun
Journal of Applied Logic 12 (2), 179-191, 2014
122014
Categorical quantum cryptography for access control in cloud computing
L Qiu, X Sun, J Xu
Soft computing 22 (19), 6363-6370, 2018
102018
Conditional ought, a game theoretical perspective
X Sun
International Workshop on Logic, Rationality and Interaction, 356-369, 2011
102011
Quantum-enhanced logic-based blockchain i: Quantum honest-success byzantine agreement and qulogicoin
X Sun, Q Wang, P Kulicki, X Zhao
arXiv preprint arXiv:1805.06768, 2018
82018
Proof theory, semantics and algebra for normative systems
X Sun
Journal of logic and computation 28 (8), 1757-1779, 2018
7*2018
Impossibility of quantum bit commitment, a categorical perspective
X Sun, F He, Q Wang
Axioms 9 (1), 28, 2020
62020
Multi-party quantum Byzantine agreement without entanglement
X Sun, P Kulicki, M Sopek
Entropy 22 (10), 1152, 2020
52020
Stag hunt and trust emergence in social networks
L Zhou, C Su, X Sun, X Zhao, KKR Choo
Future Generation Computer Systems 88, 168-172, 2018
52018
Norm-based deontic logic for access control, some computational results
X Sun, X Zhao, L Robaldo
Future Generation Computer Systems 79, 295-302, 2018
52018
Logic and games of norms: a computational perspective
X Sun
University of Luxembourg, Luxembourg, Luxembourg, 2016
52016
Logic and games for ethical agents in normative multi-agent systems
X Sun, L Robaldo
Multi-Agent Systems and Agreement Technologies, 367-375, 2015
52015
Combining input/output logic and reification for representing real-world obligations
L Robaldo, L Humphreys, X Sun, L Cupi, C Santos, R Muthuri
JSAI International Symposium on Artificial Intelligence, 217-232, 2015
52015
The system can't perform the operation now. Try again later.
Articles 1–20