Search - Archive ouverte HAL Access content directly

Filter your results

345 Results
Image document

Scheduling Multi-Periodic Mixed-Criticality DAGs on Multi-Core Architectures

Roberto Medina , Etienne Borde , Laurent Pautet
39th IEEE Real-Time Systems Symposium (RTSS 2018), Dec 2018, Nashville, TN, United States. ⟨10.1109/RTSS.2018.00042⟩
Conference papers hal-01994627v1
Image document

Description de la méthode SCRUM à travers deux expériences en entreprise

Gérard Memmi
[Rapport de recherche] LTCI - Laboratoire Traitement et Communication de l'Information [Paris]. 2020
Reports hal-03089815v3

Deux retours d’expérience avec la méthodologie SCRUM

Gérard Memmi
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2011, 98, pp.52-58
Journal articles hal-02287375v1
Image document

Note sur la cryptanalyse de Diffie-Hellman

Gerard Memmi , Matthieu Rambaud
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2017
Journal articles hal-03022599v1

Data Protection: combining fragmentation, encryption, and dispersion

Gerard Memmi , Katarzyna Kapusta , Han Qiu
2015 International Conference on Cyber Security of Smart Cities, Industrial Control System and Communications, Aug 2015, Shanghai, China
Conference papers hal-01212158v1

Survey on recent trends towards generalized differential and boomerang uniformities

Sihem Mesnager , Bimal Mandal , Mounira Msahli
Cryptography and Communications - Discrete Structures, Boolean Functions and Sequences , 2021, ⟨10.1007/s12095-021-00551-6⟩
Journal articles hal-03569465v1

Safety of session-based service orchestration revisited with an unreliable communication model

Jonathan Michaux , Elie Najm , Alessandro Fantechi
Web Services Formal Methods, Aug 2013, beijing, China
Conference papers hal-02286789v1

Solving the instance model-view update problem in AADL

Rakshit Mittal , Dominique Blouin , Anish Bhobe , Soumyadip Bandyopadhyay
MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, Oct 2022, Montreal Quebec Canada, France. pp.55-65, ⟨10.1145/3550355.3552396⟩
Conference papers hal-03905639v1

A benchmark of incremental model transformation tools based on an industrial case study with AADL

Hana Mkaouar , Dominique Blouin , Etienne Borde
Software and Systems Modeling, 2022, ⟨10.1007/s10270-022-00989-z⟩
Journal articles hal-03905646v1

Towards a Fine-Grained Access Control for Cloud

Mounira Msahli , Xiuzhen Chen , Ahmed Serhrouchni
2014 IEEE 11th International Conference on e-Business Engineering (ICEBE), Nov 2014, Guangzhou, France. pp.286-291, ⟨10.1109/ICEBE.2014.56⟩
Conference papers hal-02343634v1

Profile centric modelling

Mounira Msahli , Ahmed Serhrouchni
INDERSCIENCE International Journal of Internet Technology and Secured Transactions., 2014, 5 (4), pp.344. ⟨10.1504/IJITST.2014.068713⟩
Journal articles hal-02354927v1

Towards a Fine-Grained Access Control for Cloud

Mounira Msahli , Ahmed Serhrouchni , Xiuzhen Chen
2014 IEEE 11th International Conference on e-Business Engineering, Oct 2013, Guangzhou, China
Conference papers hal-02287108v1

Profile Centric Model.

Mounira Msahli , Ahmed Serhrouchni
International Journal of Internet Technology and Secured Transactions, 2014, 5 (ISSN online: 1748-5703)
Journal articles hal-02287105v1

Keynote speech

Mounira Msahli
2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers hal-02354925v1

SBaaS: Safe Box as a service

Mounira Msahli , Ahmed Serhrouchni
IEEE Internationale Conference, CollaborateCom, Oct 2013, Austin, Texas, United States
Conference papers hal-02288435v1

PCM in cloud

Mounira Msahli , Ahmed Serhrouchni
IEEE International Conference on Granular Computing (GrC), Oct 2014, Noboribetsu, Japan
Conference papers hal-02288436v1

Access control in probative value cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
8th International Conference for Internet Technology and Secured Transactions (ICITST 2013), Dec 2013, London, France. pp.607-611, ⟨10.1109/ICITST.2013.6750274⟩
Conference papers hal-03042230v1

Extending TLS with KMIP Protocol for Cloud Computing

Mounira Msahli , Ahmed Serhrouchni , Mohamad Badra
2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers hal-02343631v1

Access Control in Probative Value Cloud

Mounira Msahli , Rached Abdeljaoued , Ahmed Serhrouchni
The 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013), Dec 2013, London, United Kingdom
Conference papers hal-02287110v1

RFC 8902 TLS Authentication Using Intelligent Transport System (ITS) Certificates

Mounira Msahli , Nancy Cam-Winget , William Whyte , Ahmed Serhrouchni , Houda Labiod et al.
2020
Books hal-03023137v1

Openflow and on demand networks

Mounira Msahli , Guy Pujolle , Ahmed Serhrouchni , Ahmad Fadlallah , Fouad Guenane et al.
2012 Third International Conference on the Network of the Future (NOF), Nov 2012, Tunis, Tunisia. pp.1-5, ⟨10.1109/NOF.2012.6464006⟩
Conference papers hal-02354918v1

TLS for Cooperative ITS Services

Mounira Msahli , Ahmed Serhrouchni , Houda Labiod , Arnaud Kaiser , Brigitte Lonc et al.
TLS for Cooperative ITS Services, pp.176-189, 2017, ⟨10.1007/978-3-319-72329-7_16⟩
Book sections hal-02354921v1

Safe box cloud authentication using TLS extesion

Mounira Msahli , Mohamed Tahar Hammi , Ahmed Serhrouchni
2015 International Conference on Cyber Security of Smart cities, Industrial Control System and Communications (SSIC), Aug 2015, Shanghai, France. pp.1-6, ⟨10.1109/SSIC.2015.7245679⟩
Conference papers hal-02354926v1

Machine Learning Detection for SMiShing Frauds

Mounira Msahli , Badr Eddine Boukari , Akshaya Ravi
2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), Jan 2021, Las Vegas, France. pp.1-2, ⟨10.1109/CCNC49032.2021.9369640⟩
Conference papers hal-03569422v1

SBaaS: Safe Box as a Service

Mounira Msahli , Ahmed Serhrouchni
9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, Oct 2013, Austin, France. ⟨10.4108/icst.collaboratecom.2013.254190⟩
Conference papers hal-02343635v1

Security Interoperability for Cooperative ITS: Architecture and Validation

Mounira Msahli , Houda Labiod , Gilles Ampt
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, France. pp.1-6, ⟨10.1109/NTMS.2019.8763819⟩
Conference papers hal-02354694v1

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Amine Naji , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Julien Forget, Nov 2015, Lille, France. pp.4
Conference papers hal-01246343v1

Service Orchestration with Orcharts and Typecharts

Elie Najm
Seminaire INRIA, Mar 2010, Rennes, France
Conference papers hal-02278638v1

Controllability of Orchestrated Sessions

Elie Najm
Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland
Conference papers hal-02288310v1

A Secure and Effective Device Pairing Protocol

Trung Nguyen , Jean Leneutre
12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States
Conference papers hal-02288430v1