A Graph Theoretic Approach for Maximizing Target Coverage using Minimum Directional Sensors in Randomly Deployed Wireless Sensor Networks. - Laboni Sarker; Sakshar Chakravarty; Ashikur Rahman (NSysS, 2018)

Rare-Seed Generation for Fuzzing. - Seemanta Saha; Laboni Sarker; Md Shafiuzzaman; Chaofan Shou; Albert Li; Ganesh Sankaran; Tevfik Bultan (CoRR, 2022)

Coeus: A System for Oblivious Document Ranking and Retrieval. - Ishtiyaque Ahmad; Laboni Sarker; Divyakant Agrawal; Amr El Abbadi; Trinabh Gupta (IACR Cryptol. ePrint Arch., 2022)

Rare Path Guided Fuzzing. - Seemanta Saha; Laboni Sarker; Md Shafiuzzaman; Chaofan Shou; Albert Li; Ganesh Sankaran; Tevfik Bultan (ISSTA, 2023)

Quantitative Symbolic Similarity Analysis. - Laboni Sarker (ISSTA, 2023)

Quantitative Symbolic Non-Equivalence Analysis. - Laboni Sarker; Tevfik Bultan (ASE, 2024)

STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation. - Md Shafiuzzaman; Achintya Desai; Laboni Sarker; Tevfik Bultan (ASE, 2024)

Syntactic Robustness for LLM-based Code Generation. - Laboni Sarker; Mara Downing; Achintya Desai; Tevfik Bultan (CoRR, 2024)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis. - Md Shafiuzzaman; Achintya Desai; Laboni Sarker; Tevfik Bultan (CoRR, 2024)

Hybrid Equivalence/Non-Equivalence Testing. - Laboni Sarker; Tevfik Bultan (ICST, 2025)