Login / Signup
Minority-proof cheap-talk protocol.
Yuval Heller
Published in:
Games Econ. Behav. (2010)
Keyphrases
</>
formal proof
lightweight
low cost
cryptographic protocols
coloured petri nets
theorem proving
security protocols
authentication protocol
network protocols
linear logic
real time
theorem prover
wireless sensor networks
neural network
application layer
communication protocol
class imbalanced