Login / Signup
A Novel Mathematical Formal Proof in Unreliability Protocol with XOR in Two's Complement System.
Chenglian Liu
Sonia Chien-I Chen
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
formal proof
theorem prover
electronic commerce
inference rules
data sets
neural network
genetic algorithm
knowledge base
database systems
sensor networks
mathematical knowledge