Mohammad Omidvar Tehrani
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2023–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MOBICOM | Formalization, Implementation, and Verification of the Bluetooth L2CAP State Machine. | Tan Khang Le, Mohammad Omidvar Tehrani, Yuepeng Wang, Jianliang Wu, Steven Y. Ko |
| 2023 | ISSTA | SymRustC: A Hybrid Fuzzer for Rust. | Frdric Tuong, Mohammad Omidvar Tehrani, Marco Gaboardi, Steven Y. Ko |