Ismet Burak Kadron

According to our database, Ismet Burak Kadron authored at least 13 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Quantitative Symbolic Robustness Verification for Quantized Neural Networks.

Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan

Proceedings of the Formal Methods and Software Engineering, 2024

2022

TSA: a tool to detect and quantify network side-channels.

Ismet Burak Kadron, Tevfik Bultan

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Targeted Black-Box Side-Channel Mitigation for IoT✱.

Ismet Burak Kadron, Chaofan Shou, Emily O'Mahony, Yilmaz Vural, Tevfik Bultan

Proceedings of the 12th International Conference on the Internet of Things, 2022

2021

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.

Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu

Proceedings of the Software Verification - 13th International Conference, 2021

CorbFuzz: Checking Browser Security Policies with Fuzzing.

Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

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, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Feedback-driven side-channel analysis for networked applications.

Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Incremental Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2019

Incremental Adaptive Attack Synthesis.

Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

CoRR, 2019

Profit: Detecting and Quantifying Side Channels in Networked Applications.

Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

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

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

2018

Attack Synthesis for Strings using Meta-Heuristics.

Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan

ACM SIGSOFT Softw. Eng. Notes, 2018