Login / Signup
Umar Ozeer
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 6
Top Topics
Smart Home
Formal Proof
Health Data
Protocol Specification
Top Venues
MobiQuitous
HealthCom
Internet Things
ICIN
</>
Publications
</>
Umar Ozeer
φ comp: An Architecture for Monitoring and Enforcing Security Compliance in Sensitive Health Data Environment.
ICSA Companion
(2021)
Umar Ozeer
,
Loïc Letondeur
,
Gwen Salaün
,
François-Gaël Ottogalli
,
Jean-Marc Vincent
ARIoT: A framework for autonomic resilience of IoT applications in the Fog.
Internet Things
12 (2020)
Umar Ozeer
,
Badara Pouye
Risk Analysis Based Security Compliance Assessment and Management for Sensitive Health Data Environment.
HealthCom
(2020)
Umar Ozeer
,
Gwen Salaün
,
Loïc Letondeur
,
François-Gaël Ottogalli
,
Jean-Marc Vincent
Verification of a Failure Management Protocol for Stateful IoT Applications.
FMICS
(2020)
Umar Ozeer
,
Loic Letondeur
,
François-Gaël Ottogalli
,
Gwen Salaün
,
Jean-Marc Vincent
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case.
ICIN
(2019)
Umar Ozeer
,
Xavier Etchevers
,
Loïc Letondeur
,
François-Gaël Ottogalli
,
Gwen Salaün
,
Jean-Marc Vincent
Resilience of Stateful IoT Applications in a Dynamic Fog Environment.
MobiQuitous
(2018)