Paul Fiterau Brostean

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

E-mail:
paul.fiterau_brostean@it.uu.se
Visiting address:
Hus 10, Regementsvägen 10
Postal address:
Box 337
751 05 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

Conference papers

Manuscripts (preprints)

FOLLOW UPPSALA UNIVERSITY ON

Uppsala University on Facebook
Uppsala University on Instagram
Uppsala University on Youtube
Uppsala University on Linkedin