40 citations · 58 across the 6 of their papers we have counts for
9 papers
Towards a reliable approach on scaling in data acquisition
Nicolae Paraschiv, Emil Pricop, Jaouhar Fattahi +1
Data acquisition is an important process in the functioning of any control system. Usually, the acquired signal is analogic, representing a continuous physical measure, and it shou…
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…
Relaxed Conditions for Secrecy in a Role-Based Specification
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we look at the property of secrecy through the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estim…
Circular Antenna Array Design for Breast Cancer Detection
Kalthoum Ouerghi, Najib Fadlallah, Amor Smida +3
Microwave imaging for breast cancer detection is based on the contrast in the electrical properties of healthy fatty breast tissues. This paper presents an industrial, scientific a…
Secrecy by Witness-Functions on Increasing Protocols
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we present a new formal method to analyze cryptographic protocols statically for the property of secrecy. It consists in inspecting the level of security of every co…