Ismet Burak Kadron

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Security Policies

Countermeasures

Symbolic Execution

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

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