Analysis of crypto module in RIOT OS using Frama-C.

Nirnai Rai Jyoti Grover

Published in: J. Supercomput. (2024)

Keyphrases

statistical analysis
databases
information technology
multiresolution
open source
automatic analysis
real world
computer vision
information systems
multi agent
image analysis
operating system