{
  "mixing": "Packet Mixing",
  "loopix": "Loopix",
  "cover-traffic": "Cover Traffic",
  "anonymous-replies": "Anonymous Replies",
  "epochs": "Epochs"
}