Xin Sun

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