Sign in

Experimental Analysis of the Recent Key Recovery Protocol with respect to Commitment Schemes.

Seongbong ChoiYongseok SonJeongyeup PaekHyung Tae Lee
Published in: ICTC (2023)
Keyphrases
  • lightweight
  • recent developments
  • formal analysis
  • provably secure
  • real time
  • genetic algorithm
  • concurrency control protocols
  • failure recovery
  • coloured petri nets