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

Watch Now
Provided by:
Topic: Security
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.
Watch Now

Find By Topic