Xin Sun

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 25

Top Topics

Noise Cancellation

Top Venues

Future Gener. Comput. Syst.

Publications

Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo
Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution. CoRR (2022)
Xin Sun, Piotr Kulicki, Mirek Sopek
Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. Entropy 23 (9) (2021)
Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek
Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. CoRR (2021)
Xin Sun, Feifei He, Mirek Sopek, Meiyun Guo
Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem. Entropy 23 (8) (2021)
Xin Sun, Feifei He
A First Step to the Categorical Logic of Quantum Programs. Entropy 22 (2) (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Lottery and Auction on Quantum Blockchain. Entropy 22 (12) (2020)
Xin Sun, Feifei He, Quanlong Wang
Impossibility of Quantum Bit Commitment, a Categorical Perspective. Axioms 9 (1) (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Bit Commitment for Lottery and Auction on Quantum Blockchain. CoRR (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Multi-Party Quantum Byzantine Agreement without Entanglement. Entropy 22 (10) (2020)
Xin Sun, Piotr Kulicki, Mirek Sopek
Multi-party Quantum Byzantine Agreement Without Entanglement. CoRR (2020)
Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki
Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic. Entropy 21 (9) (2019)
Lu Zhou, Xin Sun, Chunhua Su, Zhe Liu, Kim-Kwang Raymond Choo
Game theoretic security of quantum bit commitment. Inf. Sci. 479 (2019)
Lirong Qiu, Xin Sun
Deontic STIT logic, from logical paradox to security policy. Soft Comput. 22 (3) (2018)
Lirong Qiu, Xin Sun, Juan Xu
Categorical quantum cryptography for access control in cloud computing. Soft Comput. 22 (19) (2018)
Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao
Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin. CoRR (2018)
Xin Sun, Quanlong Wang, Piotr Kulicki
A Simple Voting Protocol on Quantum Blockchain. CoRR (2018)
Xin Sun
Proof theory, semantics and algebra for normative systems. J. Log. Comput. 28 (8) (2018)
Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione
Quantum technique for access control in cloud computing II: Encryption and key distribution. J. Netw. Comput. Appl. 103 (2018)
Lu Zhou, Chunhua Su, Xin Sun, Xishun Zhao, Kim-Kwang Raymond Choo
Stag hunt and trust emergence in social networks. Future Gener. Comput. Syst. 88 (2018)
Xin Sun, Xishun Zhao, Livio Robaldo
Norm-based deontic logic for access control, some computational results. Future Gener. Comput. Syst. 79 (2018)
Xin Sun, Livio Robaldo
On the complexity of input/output logic. J. Appl. Log. 25 (2017)
Livio Robaldo, Xin Sun
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation. J. Log. Comput. 27 (8) (2017)
Lirong Qiu, Xin Sun, Xishun Zhao
Realizing correlated equilibrium by secure computation. J. Inf. Secur. Appl. 34 (2017)
Xin Sun, Xishun Zhao, Livio Robaldo
Ali Baba and the Thief, Convention Emergence in Games. J. Artif. Soc. Soc. Simul. 20 (3) (2017)
Xin Sun, Livio Robaldo
Norm Creation in Proposition Control Games. CLAR (2016)
Xin Sun
Boolean Game with Prioritized Norms. LORI (2015)
Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Combining Input/Output Logic and Reification for Representing Real-World Obligations. JSAI-isAI Workshops (2015)
Xin Sun, Livio Robaldo
Logic and Games for Ethical Agents in Normative Multi-agent Systems. EUMAS/AT (2015)
Xin Sun, Beishui Liao
Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity. EUMAS/AT (2015)
Xin Sun, Diego Agustín Ambrossio
Computational Complexity of Input/Output Logic. MIWAI (2015)
Xin Sun
Boolean Games with Norms. MIWAI (2015)
Xin Sun
Input/Output STIT Logic for Normative Systems. RuleML (2015)
Xin Sun, Diego Agustín Ambrossio
On the Complexity of Input/Output Logic. LORI (2015)
Xin Sun
How to Build Input/Output Logic. CLIMA (2014)
Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. DEON (2014)
Xin Sun, Zohreh Baniasadi
STIT Based Deontic Logics for the Miners Puzzle. EUMAS (2014)
Xin Sun, Leendert W. N. van der Torre
Combining Constitutive and Regulative Norms in Input/Output Logic. DEON (2014)
Dov M. Gabbay, Loïc Gammaitoni, Xin Sun
The paradoxes of permission an action based solution. J. Appl. Log. 12 (2) (2014)
Xin Sun
Proof Theory, Semantics and Algebra for Normative Systems. LORI (2013)
Xin Sun
Conditional Ought, a Game Theoretical Perspective. LORI (2011)