The Turing trap. How the universal computer is making the internet less secure.

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


Duration: 57:08
134 views
2

Data breaches and cyber-attacks are making the headlines on a daily basis, yet impenetrable network storage solutions are conspicuous by their absence. A Cambridge start-up Silicon Safe Ltd, believes that PC based Software solutions are the cause of the problem and that the solution lies in dedicated hardware appliances.



Other Videos By Microsoft Research


2016-06-21Tierless Programming and Reasoning for Software-Defined Networks
2016-06-21Truth in Advertising: The Hidden Cost of Mobile Ads
2016-06-21The Varied Forms of Verification with Z3
2016-06-21Code Hunt Workshop - Day 1 Session 1
2016-06-21Bonsai: Reactive Tools for Data Science
2016-06-21Program Synthesis from Refinement Types
2016-06-21Many-Core Compiler Fuzzing
2016-06-21Rebooting CS50
2016-06-21VISC: Virtual Instruction Set Computing
2016-06-21Micro-Policies: A Framework for Tag-Based Security Monitors
2016-06-21The Turing trap. How the universal computer is making the internet less secure.
2016-06-21Madoko: a scholarly markdown
2016-06-21Code Hunt Workshop - Day 2 Session 6
2016-06-21Question Answering
2016-06-21Code Hunt Workshop - Day 1 Session 2
2016-06-21Code Hunt Workshop - Day 2 Session 4A
2016-06-21P: A Domain-Specific Language for Asynchronous Event-Driven Programming
2016-06-21Checking microarchitectural implementations of weak memory
2016-06-21Code Hunt Workshop - Day 2 Session 4B
2016-06-21Code Hunt Workshop - Day 1 Session 3
2016-06-21The Laws of Programming with Concurrency


Tags:
microsoft research
program languages and software engineering