39 citations · 76 across the 12 of their papers we have counts for
7 papers · 1 filter
FPGA Implementation of SIMON-128 Cryptographic Algorithm Using Artix-7
Ridha Ghayoula, Jaouhar Fattahi, Amor Smida +3
FPGA is a hardware architecture based on a matrix of programmable and configurable logic circuits thanks to which a large number of functionalities inside the device can be modifie…
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…
Considerations regarding security issues impact on systems availability
Emil Pricop, Sanda Florentina Mihalache, Nicolae Paraschiv +2
Control systems behavior can be analyzed taking into account a large number of parameters: performances, reliability, availability, security. Each control system presents various s…
Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia +2
Proving that a cryptographic protocol is correct for secrecy is a hard task. One of the strongest strategies to reach this goal is to show that it is increasing, which means that t…