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

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.
Provided by: Topic: Security Date Added: Sep 2014 Format: Webcast

Find By Topic