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

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.

Find By Topic