Paul Fiterau Brostean

Associate senior lecturer/Assistant Professor at Department of Information Technology; Division of Computing Science

Telephone:
+46 18 471 33 94
E-mail:
paul.fiterau_brostean@it.uu.se
Visiting address:
Hus 10, Regementsvägen 10
Postal address:
Box 524
751 20 UPPSALA

Download contact information

ORCID:
0000-0002-5185-0035

Short presentation

I am an assistant professor the Department of Information Technology at Uppsala University. My research primarily lies in the area of software testing with focus on security testing and network protocol testing. More broadly, I am interested in leveraging formal methods to analyze real-world software, particularly with respect to its security. Testing techniques I used include: automata learning, symbolic execution, model checking and grey-box guided fuzzing. For more info, check my website.

Keywords

  • testing
  • security
  • network protocols
  • automata learning
  • symbolic execution
  • fuzzing
Paul Fiterau Brostean

Publications

Recent publications

All publications

Articles in journal

Conference papers

Manuscripts (preprints)