Paul Fiterau Brostean
Biträdande universitetslektor vid Institutionen för informationsteknologi; Datalogi
- E-post:
- paul.fiterau_brostean@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 337
751 05 UPPSALA
- ORCID:
- 0000-0002-5185-0035
Kort 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.
Nyckelord
- testing
- security
- network protocols
- automata learning
- symbolic execution
- fuzzing
Publikationer
Senaste publikationer
-
State Fuzzing DTLS 1.3 Implementations
Ingår i 2025 IEEE Conference on Standards for Communications and Networking (CSCN), s. 426-432, 2025
-
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
Ingår i 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024
-
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP
Ingår i 2024 IEEE Conference on Standards for Communications and Networking (CSCN), s. 48-54, 2024
-
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Ingår i PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, s. 1866-1870, 2024
-
Scalable Tree-based Register Automata Learning
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 87-108, 2024
- DOI för Scalable Tree-based Register Automata Learning
- Ladda ner fulltext (pdf) av Scalable Tree-based Register Automata Learning
Alla publikationer
Konferensbidrag
-
State Fuzzing DTLS 1.3 Implementations
Ingår i 2025 IEEE Conference on Standards for Communications and Networking (CSCN), s. 426-432, 2025
-
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution
Ingår i 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024
-
Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP
Ingår i 2024 IEEE Conference on Standards for Communications and Networking (CSCN), s. 48-54, 2024
-
SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Ingår i PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, s. 1866-1870, 2024
-
Scalable Tree-based Register Automata Learning
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 87-108, 2024
- DOI för Scalable Tree-based Register Automata Learning
- Ladda ner fulltext (pdf) av Scalable Tree-based Register Automata Learning
-
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification
Ingår i 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST 2022), s. 70-81, 2022
-
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Ingår i 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), s. 456-458, 2022
-
Analysis of DTLS Implementations Using Protocol State Fuzzing
Ingår i Proceedings of the 29th USENIX Security Symposium, s. 2523-2540, 2020
-
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
Ingår i Proc. 30th Annual Network and Distributed System Security Symposium, NDSS