Archive

Software

The Power of V&V

A secure system – especially a system that is used to provide security – has to be trusted. But what underpins that trust? What proof do we have that the main components of our trusted system are implemented properly and won’t fail at a critical moment?

  • Subscribe

  • Reports
    Subscribe to our weekly e-mails

    The hottest research right in your inbox