Ismet Burak Kadron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICFEM | Quantitative Symbolic Robustness Verification for Quantized Neural Networks. | Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan |
| 2020 | ISSTA | Feedback-driven side-channel analysis for networked applications. | Ismet Burak Kadron, Nicols Rosner, Tevfik Bultan |
| 2019 | ISSRE | 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 |
| 2019 | NDSS | Profit: Detecting and Quantifying Side Channels in Networked Applications. | Nicols Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan |