When it comes to consensus-based distributed systems like the most recent blockchain protocols, innovative formal specification and verification methods can help increase trust.
Read more
Toposware’s Interoperability Protocol Nears Testnet Launch, Establishes Technology Advisory Council and Announces Addition to Board of Directors
Read more
Secure cloud solution provider Scille turned to CEA-List for help protecting data in unsecured areas of the cloud. The institute developed a blockchain-based tool to make Scille’s Parsec cloud workspace more robust.
Read more
Blockchains will have to be able to communicate with each other if the development of the technology is to pick up speed. Blockchain startup Toposware joined forces with CEA-List to develop a blockchain interoperability protocol that does away with a central authority.
Read more
Today, devices and networks are increasingly interconnected, multiplying the risk of malicious attacks. But AI can help to thwart them, just as it can proactively identify potential vulnerabilities. But what about privacy?
Read more