Panoptic: a perpetual, oracle-free options protocol.

Guillaume Lambert Jesper Kristensen

Published in: CoRR (2022)

Keyphrases

lightweight
coloured petri nets
network protocols
cryptographic protocols
formal analysis
neural network
oracle database
security protocols
application layer
authentication protocol
communication protocol
search strategies
rfid systems
option pricing
digital libraries
file transfer
real time