Concepedia

Paul Fiterău-Broştean

PF

4

Publications

161

Citations

4

H-Index

2017

Active since

Affiliations

Uppsala University(Current)

Paul Fiterău-Broştean is an author at Uppsala University specializing in computer science, formal methods, and hardware security.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceHardware SecuritySoftware AnalysisFormal VerificationCryptographyData SecurityProgram Analysis

Publications per year

2017–2023

4

Publications

4

Model learning and model checking of SSH implementations

Paul Fiterău-Broştean, Toon Lenaerts, Erik Poll et al. · 2017 · 93 citations

Engineering, Information Security, Verification +18

Analysis of DTLS Implementations Using Protocol State Fuzzing.

Paul Fiterău-Broştean, Bengt Jönsson, Robert Merget et al. · KTH Publication Database DiVA (KTH Royal Institute of Technology) · 2020 · 37 citations · Full text

DTLS-Fuzzer: A DTLS Protocol State Fuzzer

Paul Fiterău-Broştean, Bengt Jönsson, Konstantinos Sagonas et al. · 2022 · 16 citations

Engineering, Verification, Software Engineering +19

Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

Paul Fiterău-Broştean, Bengt Jönsson, Konstantinos Sagonas et al. · 2023 · 15 citations

Engineering, Information Security, Verification +24

Rows per page

1–4 of 4