Ramla Ijaz

According to our database, Ramla Ijaz authored at least 5 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Combining Type Checking and Formal Verification for Lightweight OS Correctness.

Ramla Ijaz, Kevin Boos, Lin Zhong

CoRR, January, 2025

2023

Leveraging Rust for Lightweight OS Correctness.

Ramla Ijaz, Kevin Boos, Lin Zhong

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

2020

Theseus: an Experiment in Operating System Structure and State Management.

Kevin Boos, Namitha Liyanage, Ramla Ijaz, Lin Zhong

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2018

A novel fusion methodology for indoor positioning in IoT-based mobile applications.

Ramla Ijaz, Muhammad Adeel Pasha, Naveed Ul Hassan, Chau Yuen

Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

2017

Area-efficient and high-throughput hardware implementations of TAV-128 hash function for resource-constrained IoT devices.

Ramla Ijaz, Muhammad Adeel Pasha

Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017