Xin Sun

According to our database, Xin Sun authored at least 38 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Distributed Quantum Vote Based on Quantum Logical Operators, a New Battlefield of the Second Quantum Revolution.

Xin Sun, Feifei He, Daowen Qiu, Piotr Kulicki, Mirek Sopek, Meiyun Guo

CoRR, 2022

2021

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2021

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.

Xin Sun, Feifei He, Mirek Sopek, Meiyun Guo

Entropy, 2021

Schrödinger's Ballot: Quantum Information and the Violation of Arrow's Impossibility Theorem.

Xin Sun, Feifei He, Piotr Kulicki, Mirek Sopek

CoRR, 2021

2020

Lottery and Auction on Quantum Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2020

Multi-Party Quantum Byzantine Agreement without Entanglement.

Xin Sun, Piotr Kulicki, Mirek Sopek

Entropy, 2020

A First Step to the Categorical Logic of Quantum Programs.

Xin Sun, Feifei He

Entropy, 2020

Bit Commitment for Lottery and Auction on Quantum Blockchain.

Xin Sun, Piotr Kulicki, Mirek Sopek

CoRR, 2020

Impossibility of Quantum Bit Commitment, a Categorical Perspective.

Xin Sun, Feifei He, Quanlong Wang

Axioms, 2020

2019

Game theoretic security of quantum bit commitment.

Lu Zhou, Xin Sun, Chunhua Su, Zhe Liu, Kim-Kwang Raymond Choo

Inf. Sci., 2019

Towards Quantum-Secured Permissioned Blockchain: Signature, Consensus, and Logic.

Xin Sun, Mirek Sopek, Quanlong Wang, Piotr Kulicki

Entropy, 2019

2018

Deontic STIT logic, from logical paradox to security policy.

Lirong Qiu, Xin Sun

Soft Comput., 2018

Categorical quantum cryptography for access control in cloud computing.

Lirong Qiu, Xin Sun, Juan Xu

Soft Comput., 2018

Proof theory, semantics and algebra for normative systems.

Xin Sun

J. Log. Comput., 2018

Quantum technique for access control in cloud computing II: Encryption and key distribution.

Lu Zhou, Quanlong Wang, Xin Sun, Piotr Kulicki, Arcangelo Castiglione

J. Netw. Comput. Appl., 2018

Stag hunt and trust emergence in social networks.

Lu Zhou, Chunhua Su, Xin Sun, Xishun Zhao, Kim-Kwang Raymond Choo

Future Gener. Comput. Syst., 2018

Norm-based deontic logic for access control, some computational results.

Xin Sun, Xishun Zhao, Livio Robaldo

Future Gener. Comput. Syst., 2018

A Simple Voting Protocol on Quantum Blockchain.

Xin Sun, Quanlong Wang, Piotr Kulicki

CoRR, 2018

Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin.

Xin Sun, Quanlong Wang, Piotr Kulicki, Xishun Zhao

CoRR, 2018

2017

Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation.

Livio Robaldo, Xin Sun

J. Log. Comput., 2017

Ali Baba and the Thief, Convention Emergence in Games.

Xin Sun, Xishun Zhao, Livio Robaldo

J. Artif. Soc. Soc. Simul., 2017

On the complexity of input/output logic.

Xin Sun, Livio Robaldo

J. Appl. Log., 2017

Realizing correlated equilibrium by secure computation.

Lirong Qiu, Xin Sun, Xishun Zhao

J. Inf. Secur. Appl., 2017

2016

Norm Creation in Proposition Control Games.

Xin Sun, Livio Robaldo

Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016

2015

Input/Output STIT Logic for Normative Systems.

Xin Sun

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Computational Complexity of Input/Output Logic.

Xin Sun, Diego Agustín Ambrossio

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

Boolean Games with Norms.

Xin Sun

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2015

On the Complexity of Input/Output Logic.

Xin Sun, Diego Agustín Ambrossio

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Boolean Game with Prioritized Norms.

Xin Sun

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Combining Input/Output Logic and Reification for Representing Real-World Obligations.

Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Probabilistic Argumentation, a Small Step for Uncertainty, a Giant Step for Complexity.

Xin Sun, Beishui Liao

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

Logic and Games for Ethical Agents in Normative Multi-agent Systems.

Xin Sun, Livio Robaldo

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015

2014

The paradoxes of permission an action based solution.

Dov M. Gabbay, Loïc Gammaitoni, Xin Sun

J. Appl. Log., 2014

STIT Based Deontic Logics for the Miners Puzzle.

Xin Sun, Zohreh Baniasadi

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Combining Constitutive and Regulative Norms in Input/Output Logic.

Xin Sun, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario.

Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

How to Build Input/Output Logic.

Xin Sun

Proceedings of the Computational Logic in Multi-Agent Systems, 2014

2011

Conditional Ought, a Game Theoretical Perspective.

Xin Sun

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011