Auditing Outsourced Services

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=Q7FsAKdBJQg


Duration: 1:03:02
531 views
9

How can users of a cloud service verify that the service truly performs as promised? This question is vital today because clouds are complicated black boxes, running in different administrative domains from users. Their correctness can be undermined by internal corruptions---misconfigurations, operational mistakes, insider attacks, unexpected failures, or adversarial control at any layer of the execution stack.

This talk will present verifiable infrastructure, a framework that lets users audit outsourced applications and services. I will introduce two systems: Orochi and Cobra, which verify the execution of, respectively, untrusted servers and black-box databases. Orochi and Cobra introduce various techniques, including deduplicated re-execution, consistent ordering verification, GPU accelerated pruning, and others. Beyond these two systems, I will also discuss verifiable infrastructure more generally.

See more at https://www.microsoft.com/en-us/research/video/auditing-outsourced-services/



Other Videos By Microsoft Research


2020-06-10Supervised Deep Hashing for Efficient Audio Retrieval
2020-06-10Transparency and Intelligibility Throughout the Machine Learning Life Cycle
2020-06-10Machine Learning and Fairness Webinar
2020-06-10Consumer Brain-Computer Interfaces: From Science Fiction to Reality
2020-06-10Highly Conductive Flexible Sensor Integrated With Personal Devices For Practical Bio-Signal Measure
2020-06-08Microsoft Build 2020: Kevin Scott keynote with Lila Tretikov
2020-06-03Harvesting randomness, HAIbrid algorithms and safe AI with Dr. Siddhartha Sen | Podcast
2020-06-03Provably efficient reinforcement learning with Dr. Akshay Krishnamurthy | Podcast
2020-06-01What ‘bhasha’ do you want to talk in? With Kalika Bali and Dr. Monojit Choudhury | Podcast
2020-05-26Explaining Decisions from Vision Models and Correcting them via Human Feedback
2020-05-26Auditing Outsourced Services
2020-05-26MSR Distinguished Lecture Series: First-person Perception and Interaction
2020-05-26Large-scale live video analytics over 5G multi-hop camera networks
2020-05-26Kristin Lauter's TED Talk on Private AI at Congreso Futuro during Panel 11 / SOLVE
2020-05-19How an AI agent can balance a pole using a simulation
2020-05-19How to build Intelligent control systems using new tools from Microsoft and simulations by Mathworks
2020-05-13Diving into Deep InfoMax with Dr. Devon Hjelm | Podcast
2020-05-08An Introduction to Graph Neural Networks: Models and Applications
2020-05-07MSR Cambridge Lecture Series: Photonic-chip-based soliton microcombs
2020-05-07Multi-level Optimization Approaches to Computer Vision
2020-05-05How good is your classifier? Revisiting the role of evaluation metrics in machine learning


Tags:
cloud service
audit outsourced services
Orochi
Cobra
verifiable infrastructure
Cheng Tan
Xinyang Ge