DBLP Profile

Google Scholar

  • İsmet Burak Kadron, Nicolás Rosner, Tevfik Bultan, Feedback-Driven Side-Channel Analysis for Networked Applications. Accepted to 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020). PDF
  • Seemanta Saha, William Eiers, İsmet Burak Kadron, Tevfik Bultan, Incremental Attack Synthesis. Accepted to Java PathFinder Workshop 2020.
  • Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, İsmet Burak Kadron, Corina S. Păsăreanu, Sarfraz Khurshid, Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. Accepted to the 30th International Symposium on Software Reliability Engineering (ISSRE 2019).
  • Nicolás Rosner, İsmet Burak Kadron, Lucas Bang, Tevfik Bultan. Profit: Detecting and Quantifying Side Channels in Networked Applications. 26th Annual Network and Distributed System Security Symposium (NDSS 2019). PDF
  • Seemanta Saha, İsmet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan. Attack Synthesis for Strings using Meta-Heuristics. Java Pathfinder Workshop 2018. PDF