Analysis of crypto module in RIOT OS using Frama-C. - Nirnai Rai; Jyoti Grover (J. Supercomput., 2024)