1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Zohra Sbaï, Mohamed Escheikh
In this paper, we deal with the formal verification of an encryption scheme for Wireless Sensor Networks (WSNs). Especially, we present our first results on building a framework de…