• 10.0 Introduction to Further topics

  • 10.0.1 Introduction to Further topics
  • 10.0.2 Lecture notes module 10

• 10.1 Position verification

  • 10.1.1 Position-based cryptography
  • 10.1.2 A protocol for position-verification

• 10.2 Security of position verification

  • 10.2.1 Quantum teleportation
  • 10.2.2 Example quantum teleportation
  • 10.2.3 An attack using entanglement
  • 10.2.4 Security of position verification

• 10.3 Quantum computing in the cloud

  • 10.3.1 Introduction to Quantum computing in the cloud

• 10.4 Secure computations on a remote quantum computer

  • 10.4.1 Delegating quantum circuits
  • 10.4.2 Computing using magic states

• 10.5 Delegation in the Measurement-based Quantum Computation model

  • 10.5.1 Delegation in the measurement-based model
  • 10.5.2 Hiding a Hadamard

• 10.6 Delegating to two provers as a classical user

  • 10.6.1 Delegating to multiple provers

• 10.7 Conclusion

  • 10.7.1 Conclusion