publications

2024

1. IEEE Sw.

   Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

   Ismet Burak Kadron, Yannic Noller, Rohan Padhye, and 3 more authors

   IEEE Software, 2024

   DOI Bib

   @article{DBLP:journals/software/KadronNPBPS24,
     author = {Kadron, Ismet Burak and Noller, Yannic and Padhye, Rohan and Bultan, Tevfik and Pasareanu, Corina S. and Sen, Koushik},
     title = {Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing},
     journal = {{IEEE} Software},
     volume = {41},
     number = {1},
     pages = {98--104},
     year = {2024},
     url = {https://doi.org/10.1109/MS.2023.3237981},
     doi = {10.1109/MS.2023.3237981},
   }

2. ICFEM

   Quantitative Symbolic Robustness Verification for Quantized Neural Networks

   Mara Downing, William Eiers, Erin DeLong, and 4 more authors

   In Formal Methods and Software Engineering (ICFEM 2024), 2024

   DOI Bib

   @inproceedings{DBLP:conf/icfem/DowningEDLBKB24,
     author = {Downing, Mara and Eiers, William and DeLong, Erin and Lodha, Anushka and Burns, Brian Ozawa and Kadron, Ismet Burak and Bultan, Tevfik},
     title = {Quantitative Symbolic Robustness Verification for Quantized Neural Networks},
     booktitle = {Formal Methods and Software Engineering ({ICFEM} 2024)},
     series = {Lecture Notes in Computer Science},
     pages = {125--145},
     publisher = {Springer},
     year = {2024},
     url = {https://doi.org/10.1007/978-981-96-0617-7_8},
     doi = {10.1007/978-981-96-0617-7_8},
   }

2022

1. IoT

   Targeted Black-Box Side-Channel Mitigation for IoT

   Ismet Burak Kadron, Chaofan Shou, Emily O’Mahony, and 2 more authors

   In Proceedings of the 12th International Conference on the Internet of Things (IoT 2022), 2022

   DOI Bib

   @inproceedings{DBLP:conf/iot/KadronSOVB22,
     author = {Kadron, Ismet Burak and Shou, Chaofan and O'Mahony, Emily and Vural, Yilmaz and Bultan, Tevfik},
     title = {Targeted Black-Box Side-Channel Mitigation for {IoT}},
     booktitle = {Proceedings of the 12th International Conference on the Internet of Things ({IoT} 2022)},
     pages = {49--56},
     publisher = {{ACM}},
     year = {2022},
     url = {https://doi.org/10.1145/3567445.3567447},
     doi = {10.1145/3567445.3567447},
   }

2. ESEC/FSE

   TSA: A Tool to Detect and Quantify Network Side-Channels

   Ismet Burak Kadron and Tevfik Bultan

   In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), 2022

   DOI Bib

   @inproceedings{DBLP:conf/sigsoft/KadronB22,
     author = {Kadron, Ismet Burak and Bultan, Tevfik},
     title = {{TSA}: A Tool to Detect and Quantify Network Side-Channels},
     booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering ({ESEC/FSE} 2022)},
     pages = {1760--1764},
     publisher = {{ACM}},
     year = {2022},
     url = {https://doi.org/10.1145/3540250.3558938},
     doi = {10.1145/3540250.3558938},
   }

2021

1. ASE

   CorbFuzz: Checking Browser Security Policies with Fuzzing

   Chaofan Shou, Ismet Burak Kadron, Qi Su, and 1 more author

   In 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021), 2021

   DOI Bib

   @inproceedings{DBLP:conf/kbse/ShouKSB21,
     author = {Shou, Chaofan and Kadron, Ismet Burak and Su, Qi and Bultan, Tevfik},
     title = {{CorbFuzz}: Checking Browser Security Policies with Fuzzing},
     booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering ({ASE} 2021)},
     pages = {215--226},
     publisher = {{IEEE}},
     year = {2021},
     url = {https://doi.org/10.1109/ASE51524.2021.9678636},
     doi = {10.1109/ASE51524.2021.9678636},
   }

2. VSTTE

   Case Study: Analysis of Autonomous Center Line Tracking Neural Networks

   Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, and 1 more author

   In Software Verification, 13th International Conference (VSTTE 2021), 2021

   DOI Bib

   @inproceedings{DBLP:conf/vstte/KadronGPY21,
     author = {Kadron, Ismet Burak and Gopinath, Divya and Pasareanu, Corina S. and Yu, Huafeng},
     title = {Case Study: Analysis of Autonomous Center Line Tracking Neural Networks},
     booktitle = {Software Verification, 13th International Conference ({VSTTE} 2021)},
     series = {Lecture Notes in Computer Science},
     pages = {104--121},
     publisher = {Springer},
     year = {2021},
     url = {https://doi.org/10.1007/978-3-030-95561-8_7},
     doi = {10.1007/978-3-030-95561-8_7},
   }

2020

1. ISSTA

   Feedback-Driven Side-Channel Analysis for Networked Applications

   Ismet Burak Kadron, Nicolás Rosner, and Tevfik Bultan

   In ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

   DOI Bib PDF

   @inproceedings{DBLP:conf/issta/KadronRB20,
     author = {Kadron, Ismet Burak and Rosner, Nicol{\'{a}}s and Bultan, Tevfik},
     title = {Feedback-Driven Side-Channel Analysis for Networked Applications},
     booktitle = {{ISSTA} 2020: 29th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis},
     pages = {260--271},
     publisher = {{ACM}},
     year = {2020},
     url = {https://doi.org/10.1145/3395363.3397365},
     doi = {10.1145/3395363.3397365},
   }

2019

1. JPF

   Incremental Attack Synthesis

   Seemanta Saha, William Eiers, Ismet Burak Kadron, and 2 more authors

   ACM SIGSOFT Software Engineering Notes, 2019

   Presented at Java Pathfinder Workshop 2019

   DOI Bib

   @article{DBLP:journals/sigsoft/SahaEKBB19,
     author = {Saha, Seemanta and Eiers, William and Kadron, Ismet Burak and Bang, Lucas and Bultan, Tevfik},
     title = {Incremental Attack Synthesis},
     journal = {{ACM} {SIGSOFT} Software Engineering Notes},
     volume = {44},
     number = {4},
     pages = {16},
     year = {2019},
     url = {https://doi.org/10.1145/3364452.336445759},
     doi = {10.1145/3364452.336445759},
     note = {Presented at Java Pathfinder Workshop 2019},
   }

2. ISSRE

   Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks

   Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, and 3 more authors

   In 30th IEEE International Symposium on Software Reliability Engineering (ISSRE 2019), 2019

   DOI Bib

   @inproceedings{DBLP:conf/issre/GopinathZWKPK19,
     author = {Gopinath, Divya and Zhang, Mengshi and Wang, Kaiyuan and Kadron, Ismet Burak and Pasareanu, Corina S. and Khurshid, Sarfraz},
     title = {Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks},
     booktitle = {30th {IEEE} International Symposium on Software Reliability Engineering ({ISSRE} 2019)},
     pages = {313--322},
     publisher = {{IEEE}},
     year = {2019},
     url = {https://doi.org/10.1109/ISSRE.2019.00039},
     doi = {10.1109/ISSRE.2019.00039},
   }

3. NDSS

   Profit: Detecting and Quantifying Side Channels in Networked Applications

   Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, and 1 more author

   In 26th Annual Network and Distributed System Security Symposium (NDSS 2019), 2019

   Bib PDF

   @inproceedings{DBLP:conf/ndss/RosnerKBB19,
     author = {Rosner, Nicol{\'{a}}s and Kadron, Ismet Burak and Bang, Lucas and Bultan, Tevfik},
     title = {Profit: Detecting and Quantifying Side Channels in Networked Applications},
     booktitle = {26th Annual Network and Distributed System Security Symposium ({NDSS} 2019)},
     publisher = {The Internet Society},
     year = {2019},
     url = {https://www.ndss-symposium.org/ndss-paper/profit-detecting-and-quantifying-side-channels-in-networked-applications/},
   }

2018

1. JPF

   Attack Synthesis for Strings using Meta-Heuristics

   Seemanta Saha, Ismet Burak Kadron, William Eiers, and 2 more authors

   ACM SIGSOFT Software Engineering Notes, 2018

   Presented at Java Pathfinder Workshop 2018

   DOI Bib PDF

   @article{DBLP:journals/sigsoft/SahaKEBB18,
     author = {Saha, Seemanta and Kadron, Ismet Burak and Eiers, William and Bang, Lucas and Bultan, Tevfik},
     title = {Attack Synthesis for Strings using Meta-Heuristics},
     journal = {{ACM} {SIGSOFT} Software Engineering Notes},
     volume = {43},
     number = {4},
     pages = {56},
     year = {2018},
     url = {https://doi.org/10.1145/3282517.3282527},
     doi = {10.1145/3282517.3282527},
     note = {Presented at Java Pathfinder Workshop 2018},
   }