On the Formalization of Decentralized Contact Tracing Protocols.
Parosh Aziz AbdullaMohamed Faouzi AtigGiorgio DelzannoMarco MontaliArnaud SangnierPublished in: OVERLAY (2020)
Keyphrases
- multi agent
- cooperative
- distributed systems
- peer to peer
- multi party
- distributed agents
- distributed constraint optimization
- knowledge representation
- neural network
- formal model
- communication protocols
- privacy preserving
- data lineage
- logical language
- communication protocol
- digital libraries
- web services
- learning algorithm