Ismet Burak Kadron

15 papers A* 2A 2C 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.
IEEE Softw.
Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
2024 C conf
Quantitative Symbolic Robustness Verification for Quantized Neural Networks.
ICFEM
Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan
2022 — conf
TSA: a tool to detect and quantify network side-channels.
ESEC/SIGSOFT FSE
Ismet Burak Kadron, Tevfik Bultan
2022 — conf
Targeted Black-Box Side-Channel Mitigation for IoT✱.
IOT
Ismet Burak Kadron, Chaofan Shou, Emily O'Mahony, Yilmaz Vural, Tevfik Bultan
2021 — conf
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.
VSTTE
Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu
2021 A* conf
CorbFuzz: Checking Browser Security Policies with Fuzzing.
ASE
Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
2021 J jnl
CorbFuzz: Checking Browser Security Policies with Fuzzing.
CoRR
Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
2020 A conf
Feedback-driven side-channel analysis for networked applications.
ISSTA
Ismet Burak Kadron, Nicolás Rosner, Tevfik Bultan
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2019 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
CoRR
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Adaptive Attack Synthesis.
CoRR
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Attack Synthesis.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 A* conf
Profit: Detecting and Quantifying Side Channels in Networked Applications.
NDSS
Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 A conf
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.
ISSRE
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2018 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan