Enschede-based Qbaylogic will join forces with international research teams and industry partners to revolutionize digital security. In the Ecosystem Formally Verifiable IT - Provable Cybersecurity (EVIT) project, they plan to tackle the challenge of creating systems that are mathematically proven to be secure...

Lees het volledige artikel bij Bits Chips.