39 citations · 76 across the 12 of their papers we have counts for
3 papers · 2 filters
Fuzzy approach on modelling cyber attacks patterns on data transfer in industrial control systems
Emil Pricop, Sanda Florentina Mihalache
Cybersecurity of industrial control system is a very complex and challenging research topic, due to the integration of these systems in national critical infrastructures. The contr…
Authentication by Witness Functions
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
Witness functions have recently been introduced in cryptographic protocols' literature as a new powerful way to prove protocol correctness with respect to secrecy. In this paper, w…
On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions
Jaouhar Fattahi, Mohamed Mejri, Emil Pricop
In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some category of cryptographic protocols. We convey a formal analysis…