Publications

Export 29 results:
Filters: Auteur is Erradi, M.  [Clear All Filters]
2020
R. Zennou, Atig, M. F., Biswas, R., Bouajjani, A., Enea, C., et Erradi, M., « Boosting Sequential Consistency Checking Using Saturation », Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12302 LNCS, p. 360-376, 2020.
2021
J. Bouamama, Hedabou, M., et Erradi, M., « Cloud key management using trusted execution environment », in Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, 2021, p. 560-567.
A. El M. Hadj, Khoumsi, A., Benkaouz, Y., et Erradi, M., « A Log-Based Method to Detect and Resolve Efficiently Conflicts in Access Control Policies », Advances in Intelligent Systems and Computing, vol. 1383 AISC, p. 836-846, 2021.
2022
R. Zennou, Biswas, R., Bouajjani, A., Enea, C., et Erradi, M., « Checking causal consistency of distributed databases », Computing, vol. 104, p. 2181-2201, 2022.

Pages

Partenaires

LIENS UTILES

Localisation

Lien Google Maps

Location map

Suivez-nous sur

         

    

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

  Télécopie : (+212) 5 37 68 60 78

  Secrétariat de direction : 06 61 48 10 97

        Secrétariat général : 06 61 34 09 27

        Service des affaires financières : 06 61 44 76 79

        Service des affaires estudiantines : 06 62 77 10 17 / n.mhirich@um5s.net.ma

        CEDOC ST2I : 06 66 39 75 16

        Résidences : 06 61 82 89 77

Contacts

    

    Compteur de visiteurs:631,364
    Education - This is a contributing Drupal Theme
    Design by WeebPal.