Pierre Pronchery
CEO, IT-Security Consultant at FirstFriday - collaborative network for startups
Berlin, Germany
Summary
👤
Senior🎓
Top SchoolPierre Pronchery is a veteran IT-security consultant and founder with over two decades of experience blending deep technical engineering, secure software development, and vulnerability research. As CEO of Defora Networks in Berlin he leads security assessments, source code audits, reverse-engineering efforts and R&D while also contributing to major open-source projects like the symbolic execution tool Manticore and the Single Packet Authorization project fwknop. Comfortable both on stage and in code, he has presented creative conference talks and workshops—sometimes as theater pieces or short films—aimed at improving attacker methodology awareness and developer practices. His long-running involvement with BSD projects (NetBSD director/developer and FreeBSD contributor) underscores a kernel-level systems pedigree that complements his application security work. Known for meticulous, customer-focused reporting and a strong sense of coding quality, he combines consultancy pragmatism with academic rigor and entrepreneurial drive.
22 years of coding experience
17 years of employment as a software developer
DUT Computer Software Engineering, DUT Computer Software Engineering at Université Pierre Mendès-France (Grenoble II)Master Computer Science, Master Computer Science at INSIA - Institut Supérieur d'Informatique AppliquéeBachelor’s Degree Computer Science, Bachelor’s Degree Computer Science at Oxford Brookes University
French, English, German, Spanish
Github Skills (22)
authorizations10
security-hardening10
python10
firewall10
authentication10
user-authentication10
c-programming10
binarydiff10
security10
system-calls10
sys10
authorization10
symbolic-execution10
emulation10
input-validation10
Programming languages (18)
Github contributions (5)
mrash/fwknop
Apr 2018 - Aug 2018
Role in this project:
Security Engineer
Security EngineerContributions:94 commits, 12 PRs, 13 comments in 4 months
Contributions summary:Pierre primarily focused on improving the security and robustness of the fwknop project. They addressed potential vulnerabilities related to character handling and input validation, such as casting characters as unsigned integers when using ctype functions to prevent potential issues with UTF-8 characters and ensuring valid IP addresses, hostnames, and usernames. Additionally, the user updated the code to use HTTP/1.1, updated usage screens, and fixed format strings and file handling to avoid potential security risks or TOCTOU vulnerabilities, further improving the security posture.
authorizationauthenticationspapacketport-knocking
trailofbits/manticore
Feb 2018 - Jun 2018
Symbolic execution tool
Role in this project:Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:6 commits, 7 PRs, 4 comments in 3 months
Contributions summary:Pierre primarily contributed to the core functionality of Manticore, a symbolic execution tool, by implementing and correcting system call emulation. They focused on implementing `chroot(2)` and `fork(2)` system calls and fixing issues related to `brk(2)` function. The user's work involved modifying the Linux platform code, specifically implementing and testing the behavior of these crucial system calls within the emulation environment. Further contributions include supporting NetBSD as a host OS, extending Manticore's compatibility.
symbolic-executionbinary-analysispythonsmtethereum
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.