Paul Fiterau
Assistant Professor at Uppsala University
Uppsala, Sweden
Summary
👤
Senior🎓
Top SchoolPaul Fiterau is an assistant professor and cybersecurity researcher with 11 years of experience building practical testing tools and secure software, now focused on leveraging formal methods to harden real-world systems. He has a strong track record of finding and helping fix critical bugs in TCP, (D)TLS and SSH implementations—work that led to fixes in widely used libraries including OpenSSL and Java stacks. His background spans industry Java and C# development as well as academic research in model learning and protocol testing, bridging theory and production-grade engineering. A seasoned educator, he teaches networks, security and embedded/web development with a hands-on approach informed by his research outcomes. Based in Uppsala, Sweden, he combines rigorous PhD‑level methods with pragmatic tool-building to improve the safety of networked software.
11 years of coding experience
7 years of employment as a software developer
Computer Science, Computer Science at Radboud Universiteit NijmegenDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Radboud University NijmegenMaster of Science (M.Sc.), Computer Software Engineering, 9.40 (top 15%), Master of Science (M.Sc.), Computer Software Engineering, 9.40 (top 15%) at Universitatea „Politehnica” din Timișoara
English, German, Dutch
Github Skills (40)
crypto10
sniffer10
ssl10
decryption10
tls1310
security10
openssl10
state-machine10
cryptography10
dtls10
c-library10
fips10
fuzzer10
encryption10
udp9
Programming languages (4)
Github contributions (5)
pfg666/dot-parser
Dec 2018 - Mar 2022
Parses from .dot FSM models corresponding automatalib instances.
Contributions:4 releases, 1 PR, 16 pushes in 3 years 3 months
fsminstancesdotparser
assist-project/dtls-fuzzer
Mar 2019 - Jan 2023
Protocol state machine learner and fuzzer for DTLS servers and clients
Contributions:1 release, 27 reviews, 128 commits in 3 years 11 months
dtlsfuzzerstate-machinefuzzing-frameworkmodel-learning
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.