Rania Taleb

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Asynchronous Circuits

Security Properties

Cryptographic Protocols

Top Venues

Ann. des Télécommunications

Comput. Sci. Rev.

Publications

Rania Taleb, Sylvain Hallé, Raphaël Khoury
A modular pipeline for enforcement of security properties at runtime. Ann. des Télécommunications 78 (7-8) (2023)
Rania Taleb, Sylvain Hallé, Raphaël Khoury
Uncertainty in runtime verification: A survey. Comput. Sci. Rev. 50 (2023)
Rania Taleb, Raphaël Khoury, Sylvain Hallé
Runtime Verification Under Access Restrictions. FormaliSE@ICSE (2021)
Rania Taleb, Sylvain Hallé, Raphaël Khoury
A Modular Runtime Enforcement Model Using Multi-traces. FPS (2021)
Hicham Ajami, Hamid Mcheick, Lokman Saleh, Rania Taleb
Categorization of the Context Within the Medical Domain. ICOST (2018)