Defense Is Not Dead - Why We Will Have More Secure Computers - Tomorrow

Provided by: Topic: Security Date Added: Sep 2014 Format: Webcast
In this webcast, the presenter will look into the state of the art in building secure computers, with a focus on type systems and formal verification, and hopefully an outlook on how tomorrow's computers will be more secure than what the user can buy now.

Find By Topic