Mohammad Omidvar Tehrani

According to our database, Mohammad Omidvar Tehrani authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine.

Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko

Proceedings of the 31st Annual International Conference on Mobile Computing and Networking, 2025

2023

SymRustC: A Hybrid Fuzzer for Rust.

Frédéric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023