Tardis 2.0: An Optimized Time Traveling Coherence Protocol.

Xiangyao Yu Srinivas Devadas

Published in: CoRR (2015)

Keyphrases

lightweight
security protocols
cryptographic protocols
authentication protocol
network protocols
file transfer
data mining
learning algorithm
information systems
multi party
formal analysis
application layer