ESEC/FSE 2018
Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States
ESEC/FSE 2018 (series) / Tevfik Bultan
Tevfik Bultan

Registered user since Mon 23 May 2016

Name: Tevfik Bultan

Affiliation: University of California, Santa Barbara

Personal website: http://www.cs.ucsb.edu/~bultan/

Contributions

JPF 2018Author of Attack Synthesis for Strings using Meta-Heuristics within the JPF-track
Author of Keynote: Side-Channel Analysis via Symbolic Execution and Model Counting within the JPF-track
ESEC/FSE 2018Committee Member in Program Committee within the Research Papers-track
Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Show activities from other conferences

Using general profile