Laboni Sarker

11 papers A* 3A 3Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Hybrid Equivalence/Non-Equivalence Testing.
ICST
Laboni Sarker, Tevfik Bultan
2024 A* conf
Quantitative Symbolic Non-Equivalence Analysis.
ASE
Laboni Sarker, Tevfik Bultan
2024 A* conf
STASE: Static Analysis Guided Symbolic Execution for UEFI Vulnerability Signature Generation.
ASE
Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
2024 J jnl
Syntactic Robustness for LLM-based Code Generation.
CoRR
Laboni Sarker, Mara Downing, Achintya Desai, Tevfik Bultan
2024 J jnl
UEFI Vulnerability Signature Generation using Static and Symbolic Analysis.
CoRR
Md Shafiuzzaman, Achintya Desai, Laboni Sarker, Tevfik Bultan
2023 A conf
Quantitative Symbolic Similarity Analysis.
ISSTA
Laboni Sarker
2023 A conf
Rare Path Guided Fuzzing.
ISSTA
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2022 J jnl
Coeus: A System for Oblivious Document Ranking and Retrieval.
IACR Cryptol. ePrint Arch.
Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta
2022 J jnl
Rare-Seed Generation for Fuzzing.
CoRR
Seemanta Saha, Laboni Sarker, Md Shafiuzzaman, Chaofan Shou, Albert Li, Ganesh Sankaran, Tevfik Bultan
2021 A* conf
Coeus: A System for Oblivious Document Ranking and Retrieval.
SOSP
Ishtiyaque Ahmad, Laboni Sarker, Divyakant Agrawal, Amr El Abbadi, Trinabh Gupta
2018 — conf
A Graph Theoretic Approach for Maximizing Target Coverage using Minimum Directional Sensors in Randomly Deployed Wireless Sensor Networks.
NSysS
Laboni Sarker, Sakshar Chakravarty, Ashikur Rahman