Xin Sun
Xin Sun
Associate researcher, Sun Yat-sen University
Verified email at
Cited by
Cited by
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
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
Towards quantum-secured permissioned blockchain: Signature, consensus, and logic
X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (9), 887, 2019
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
Combining constitutive and regulative norms in input/output logic
X Sun, L Torre
International Conference on Deontic Logic in Computer Science, 241-257, 2014
Game theoretic security of quantum bit commitment
L Zhou, X Sun, C Su, Z Liu, KKR Choo
Information Sciences 479, 503-514, 2019
On the complexity of input/output logic
X Sun, L Robaldo
Journal of Applied Logic 25, 69-88, 2017
How to build input/output logic
X Sun
International Workshop on Computational Logic and Multi-Agent Systems, 123-137, 2014
The paradoxes of permission an action based solution
D Gabbay, L Gammaitoni, X Sun
Journal of Applied Logic 12 (2), 179-191, 2014
Categorical quantum cryptography for access control in cloud computing
L Qiu, X Sun, J Xu
Soft computing 22 (19), 6363-6370, 2018
Conditional ought, a game theoretical perspective
X Sun
International Workshop on Logic, Rationality and Interaction, 356-369, 2011
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
Proof theory, semantics and algebra for normative systems
X Sun
Journal of logic and computation 28 (8), 1757-1779, 2018
Impossibility of quantum bit commitment, a categorical perspective
X Sun, F He, Q Wang
Axioms 9 (1), 28, 2020
Multi-party quantum Byzantine agreement without entanglement
X Sun, P Kulicki, M Sopek
Entropy 22 (10), 1152, 2020
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
Norm-based deontic logic for access control, some computational results
X Sun, X Zhao, L Robaldo
Future Generation Computer Systems 79, 295-302, 2018
Logic and games of norms: a computational perspective
X Sun
University of Luxembourg, Luxembourg, Luxembourg, 2016
Logic and games for ethical agents in normative multi-agent systems
X Sun, L Robaldo
Multi-Agent Systems and Agreement Technologies, 367-375, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20