Attack Synthesis for Strings using Meta-Heuristics. - Seemanta Saha; Ismet Burak Kadron; William Eiers; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. - Divya Gopinath; Mengshi Zhang; Kaiyuan Wang; Ismet Burak Kadron; Corina S. Pasareanu; Sarfraz Khurshid (ISSRE, 2019)

Profit: Detecting and Quantifying Side Channels in Networked Applications. - Nicolás Rosner; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (NDSS, 2019)

Incremental Adaptive Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (CoRR, 2019)

Incremental Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2019)

Feedback-driven side-channel analysis for networked applications. - Ismet Burak Kadron; Nicolás Rosner; Tevfik Bultan (ISSTA, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

CorbFuzz: Checking Browser Security Policies with Fuzzing. - Chaofan Shou; Ismet Burak Kadron; Qi Su; Tevfik Bultan (ASE, 2021)

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. - Ismet Burak Kadron; Divya Gopinath; Corina S. Pasareanu; Huafeng Yu (VSTTE, 2021)

Targeted Black-Box Side-Channel Mitigation for IoT✱. - Ismet Burak Kadron; Chaofan Shou; Emily O'Mahony; Yilmaz Vural; Tevfik Bultan (IOT, 2022)

TSA: a tool to detect and quantify network side-channels. - Ismet Burak Kadron; Tevfik Bultan (ESEC/SIGSOFT FSE, 2022)

Quantitative Symbolic Robustness Verification for Quantized Neural Networks. - Mara Downing; William Eiers; Erin DeLong; Anushka Lodha; Brian Ozawa Burns; Ismet Burak Kadron; Tevfik Bultan (ICFEM, 2024)

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. - Ismet Burak Kadron; Yannic Noller; Rohan Padhye; Tevfik Bultan; Corina S. Pasareanu; Koushik Sen (IEEE Softw., 2024)