YoVDO

Quantum Cloud Computing - Prof Elham Kashefi

Offered By: The Cyber Academy via YouTube

Tags

Quantum Computing Courses Cryptography Courses Formal Methods Courses Interactive Proof Systems Courses

Course Description

Overview

Explore quantum cloud computing in this 31-minute lecture by Prof Elham Kashefi from The Cyber Academy. Delve into the vision of quantum technology and its implications for the quantum era. Learn about quantum verification methodologies, including formal methods, cryptographic protocols, and interactive proof systems. Discover the Universal Blind Quantum Computing (UBQC) Protocol and its experimental implementation. Compare classical secure multi-party computing (SMPC) with its quantum counterparts, examining the challenges and practical applications. Gain insights into the future perspectives of quantum computing and meet the Edinburgh team behind this cutting-edge research.

Syllabus

Intro
Our vision of Quantum Technology
Quantum Era
Quantum Verification
Methodology - Formal Methods
Methodology - Cryptographic Protocol
Methodology - Interactive Proof System
UBQC Protocol
Experimental Implementation
Classical secure multi party computing (SMPC)
Problem with Classical SMPC
Practical Classical SMPC
Perspective
The Edinburgh Team


Taught by

The Cyber Academy

Related Courses

Human Computer Interaction
Independent
Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique
System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera
Formal Software Verification
University System of Maryland via edX
Principles of Secure Coding
University of California, Davis via Coursera