Area-efficient and high-throughput hardware implementations of TAV-128 hash function for resource-constrained IoT devices. - Ramla Ijaz; Muhammad Adeel Pasha (IDAACS, 2017)

A novel fusion methodology for indoor positioning in IoT-based mobile applications. - Ramla Ijaz; Muhammad Adeel Pasha; Naveed Ul Hassan; Chau Yuen (WF-IoT, 2018)

Theseus: an Experiment in Operating System Structure and State Management. - Kevin Boos; Namitha Liyanage; Ramla Ijaz; Lin Zhong 001 (OSDI, 2020)

Leveraging Rust for Lightweight OS Correctness. - Ramla Ijaz; Kevin Boos; Lin Zhong 001 (KISV@SOSP, 2023)

Combining Type Checking and Formal Verification for Lightweight OS Correctness. - Ramla Ijaz; Kevin Boos; Lin Zhong 001 (CoRR, 2025)