Speeding innovation for industry
News | New technologies
internet of things
The Internet of Things raises new data security issues. Researchers recently turned to Frama-C to analyze source-code quality and reliability, essential for secure IoT data transfer.
With the impending explosion in the number
of connected objects worldwide—set to rise from 15 billion today to 80 billion
by 2020—data security on the Internet of Things (IoT) is a top-of-mind issue
for developers. At stake? The security of users’ personal information.
Startup TrustInSoft recently used tools
based on Frama-C—software developed originally by List, a CEA Tech institute,
to check critical embedded code reliability in the avionics and nuclear
industries—to analyze the DPDK software running on the machines at the heart of
IoT networks to manage data traffic. At the other end, Frama-C checked the
software controlling update distribution in sensor network nodes. No
vulnerability was too small to go unnoticed by Frama-C.
The research demonstrated Frama-C’s full potential
for IoT security, earning the software worldwide recognition for its capacity
to make sure data transmission between connected objects and systems remains
CEA is a French government-funded technological research organisation in four main areas: low-carbon energies, defense and security, information technologies and health technologies. A prominent player in the European Research Area, it is involved in setting up collaborative projects with many partners around the world.