2017

  1. Rody Kersten, Kasper Luckow, Corina Pasareanu. POSTER: AFL-based Fuzzing with Kelinci. In 2017 ACM Conference on Computer and Communications Security (CCS). [DOI][BibTeX][PDF][Poster]
  2. Quoc-Sang Phan, Lucas Bang, Corina Pasareanu, Pasquale Malacaria, Tevfik Bultan. Synthesis of Adaptive Side-Channel Attacks. In 30th IEEE Computer Security Foundations Symposium (CSF). [DOI][BibTeX][PDF]
  3. Kasper Luckow, Rody Kersten, Corina Pasareanu. Symbolic Complexity Analysis Using Context-Preserving Histories. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). [DOI][BibTeX][PDF]
  4. Mateus Borges, Quoc-Sang Phan, Antonio Filieri and Corina Pasareanu. Model-counting Approaches For Nonlinear Numerical Constraints. In 9th NASA Formal Methods Symposium (NFM). [DOI][BibTeX][PDF]

2016

  1. Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan. String Analysis for Side Channels with Segmented Oracles. In 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE). [DOI][BibTeX][PDF]
  2. Corina Pasareanu, Quoc-Sang Phan, Pasquale Malacaria. Multi-run side-channel analysis using Symbolic Execution and Max-SMT. In 29th IEEE Computer Security Foundations Symposium (CSF). [DOI][BibTeX][PDF]