Noamen Ben Henda

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
We describe our experiences from using formal verification tools during the standardization process of Dual Connectivity, a new feature in LTE developed by 3GPP. To the best of our knowledge, this is the first report of its kind in the telecom industry. We present a model for key establishment of this feature and provide a detailed account on its formal(More)
  • 1