Inria Lille

According to our database, Inria Lille authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Towards Formal Verification of Contiki: Analysis of the AES-CCM* Modules with Frama-C.

Alexandre Peyrard, Nikolai Kosmatov, Simon Duquennoy, Inria Lille, Shahid Raza

Proceedings of the 2018 International Conference on Embedded Wireless Systems and Networks, 2018