49 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of BucharestRO12 papers
- Université LavalCA7 papers
- Alexandru Ioan Cuza UniversityRO2 papers
- Michigan State UniversityUS2 papers
- University of CraiovaRO2 papers
- Adam Mickiewicz University in PoznańPL1 paper
- Akdeniz UniversityTR1 paper
- Association for Liberty and Equality of GenderRO1 paper
- Atatürk UniversityTR1 paper
- Çağ UniversityTR1 paper
- Çanakkale Onsekiz Mart ÜniversitesiTR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
6 papers · 1 filter
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…
Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia +3
In several critical military missions, more than one decision level are involved. These decision levels are often independent and distributed, and sensitive pieces of information m…