Publikasjoner og forskningsresultater
Vitenskapelige publikasjoner
Aryan, Ramtin
;
Yazidi, Anis
; Bouhoula, Adel;
Engelstad, Paal E.
(2025).
A formal technique for automatic resolution of OpenFlow anomalies.
International Journal of Information Security.
Vol. 24.
https://doi.org/10.1007/s10207-025-01035-x
Aryan, Ramtin
;
Yazidi, Anis
; Brattensborg, Frode Henriksen; Kure, Øivind;
Engelstad, Paal E.
(2022).
SDN Spotlight: A real-time OpenFlow troubleshooting framework.
Future Generation Computer Systems.
Vol. 133.
https://doi.org/10.1016/j.future.2022.03.014
Aryan, Ramtin
;
Yazidi, Anis
; Kure, Øivind;
Engelstad, Paal E.
(2020).
A parallel approach for detecting OpenFlow rule anomalies based on a general formalism.
Concurrency and Computation.
https://doi.org/10.1002/cpe.5907
Aryan, Ramtin
;
Yazidi, Anis
; Bouhoula, Adel;
Engelstad, Paal E.
(2020).
Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies.
Conference on Local Computer Networks.
https://doi.org/10.1109/LCN48667.2020.9314851
Aryan, Ramtin
; Brattensborg, Frode Henriksen;
Yazidi, Anis
;
Engelstad, Paal
(2019).
Checking the OpenFlow Rule Installation and Operational Verification.
Andersson, Karl; Tan, Hwee-Pink; Oteafy, Sharief (Red.).
44th Annual IEEE Conference on Local Computer Networks (LCN 2019). s. 250-253.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/LCN44214.2019.8990808
Aryan, Ramtin
;
Yazidi, Anis
;
Engelstad, Paal E.
(2018).
An Incremental Approach for Swift OpenFlow Anomaly Detection.
Conference on Local Computer Networks.
https://doi.org/10.1109/LCN.2018.8638226
Aryan, Ramtin
;
Yazidi, Anis
;
Engelstad, Paal E.
; Kure, Øivind
(2017).
A General Formalism for Defining and Detecting OpenFlow Rule Anomalies.
Jens, Tölle (Red.).
42nd IEEE Conference on Local Computer Networks. s. 426-434.
IEEE (Institute of Electrical and Electronics Engineers).
https://doi.org/10.1109/LCN.2017.94
