Towards the Verification of Pervasive Systems. - Myrto Arapinis; Muffy Calder; Louise A. Dennis; Michael Fisher 001; Philip D. Gray; Savas Konur; Alice Miller 001; Eike Ritter; Mark Ryan 001; Sven Schewe; Chris Unsworth; Rehana Yasmin (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

An Authentication Framework for Wireless Sensor Networks using Identity-Based Signatures. - Rehana Yasmin; Eike Ritter; Guilin Wang (CIT, 2010)

An Authentication Framework for Wireless Sensor Networks Using Identity-Based Signatures: Implementation and Evaluation. - Rehana Yasmin; Eike Ritter; Guilin Wang (IEICE Trans. Inf. Syst., 2012)

An efficient authentication framework for wireless sensor networks. - Rehana Yasmin (2012)

Provable security of a pairing-free one-pass authenticated key establishment protocol for wireless sensor networks. - Rehana Yasmin; Eike Ritter; Guilin Wang (Int. J. Inf. Sec., 2014)

IoVShield: An Efficient Vehicular Intrusion Detection System for Self-driving (Short Paper). - Zhuo Wei; Yanjiang Yang; Rehana Yasmin; Yongdong Wu; Jian Weng 001; Robert H. Deng (ISPEC, 2017)

Savvy: Trustworthy Autonomous Vehicles Architecture. - Ali Shoker; Rehana Yasmin; Paulo Esteves Veríssimo (CoRR, 2024)

EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. - Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia; Rolando Martins; Paulo Jorge Esteves Veríssimo (CoRR, 2025)

EVOLVE: a Value-Added Services Platform for Electric Vehicle Charging Stations. - Erick Silva; Tadeu Freitas; Rehana Yasmin; Ali Shoker; Paulo Esteves Veríssimo (CoRR, 2025)

Leveraging Explainable AI for Early Risk Prediction and Type Classification for Leukemia: Insights Using Clinical Data From Pakistan. - Maryam Shahbaz; Amna Basharat; Rehana Yasmin; Nafees Ahmad; Rashada Abbasi; Shujaat Hussain (IEEE J. Biomed. Health Informatics, 2025)