A New Adiabatic Logic without Charge Sharing Gate for Cryptographic Devices.

Ryosuke Ohashi Yasuhiro Takahashi

Published in: ISPACS (2018)

Keyphrases

logic programming
modal logic
smart card
smart phones
automated reasoning
mobile devices
classical logic
predicate logic
information sharing
multi valued
dynamic logic
digital circuits
charge coupled devices
neural network
floating gate
deontic logic
security protocols
logical framework
multi agent systems