This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming ...

This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based ...

Oct 22, 2024 · This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based ...

This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming ...

Dr Mirek Sopek. “Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain”.

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. Published in. Entropy, August 2021.

"Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain" Special Issue of MDPI Entropy "Quantum ...

With primitives at their disposal, coders can start cryptographic projects way ahead of the post-quantum cryptography or PQC game. In this case, the hope is ...

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. X Sun, P Kulicki, M Sopek. Entropy 23 (9), 1120 ...

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. Xin Sun et al. Entropy, 2021. HORSIC+: An ...