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, 275-281, 2019
772019
Towards quantum-secured permissioned blockchain: Signature, consensus, and logic
X Sun, M Sopek, Q Wang, P Kulicki
Entropy 21 (9), 887, 2019
562019
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
462017
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
312018
On the complexity of input/output logic
X Sun, L Robaldo
Journal of Applied Logic 25, 69-88, 2017
252017
Combining constitutive and regulative norms in input/output logic
X Sun, L van der Torre
Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014
212014
Categorical quantum cryptography for access control in cloud computing
L Qiu, X Sun, J Xu
Soft computing 22, 6363-6370, 2018
202018
Multi-party quantum byzantine agreement without entanglement
X Sun, P Kulicki, M Sopek
Entropy 22 (10), 1152, 2020
162020
Game theoretic security of quantum bit commitment
L Zhou, X Sun, C Su, Z Liu, KKR Choo
Information Sciences 479, 503-514, 2019
162019
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
132018
The paradoxes of permission an action based solution
D Gabbay, L Gammaitoni, X Sun
Journal of Applied Logic 12 (2), 179-191, 2014
132014
How to build input/output logic
X Sun
Computational Logic in Multi-Agent Systems: 15th International Workshop …, 2014
132014
Lottery and auction on quantum blockchain
X Sun, P Kulicki, M Sopek
Entropy 22 (12), 1377, 2020
122020
Impossibility of quantum bit commitment, a categorical perspective
X Sun, F He, Q Wang
Axioms 9 (1), 28, 2020
122020
Proof theory, semantics and algebra for normative systems
X Sun
Journal of logic and computation 28 (8), 1757-1779, 2018
10*2018
Conditional ought, a game theoretical perspective
X Sun
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011 …, 2011
102011
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
82018
A first step to the categorical logic of quantum programs
X Sun, F He
Entropy 22 (2), 144, 2020
52020
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
Unilu-University of Luxembourg, Luxembourg, Luxembourg, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20