Login / Signup
Noamen Ben Henda
Publication Activity (10 Years)
Years Active: 2015-2020
Publications (10 Years): 1
Top Topics
Security Issues
Intrusion Detection
Network Security
Bounded Model Checking
Top Venues
FormaliSE@ICSE
J. ICT Stand.
</>
Publications
</>
Noamen Ben Henda
Overview on the Security in 5G Phase 2.
J. ICT Stand.
8 (1) (2020)
Noamen Ben Henda
,
Karl Norrman
,
Katharina Pfeffer
Formal Verification of the Security for Dual Connectivity in LTE.
FormaliSE@ICSE
(2015)