Sergio Correia
Senior Software Engineer at Red Hat
Braga, Portugal
Summary
🤩
RockstarSergio Correia is a senior software engineer based in Braga, Portugal, with over six years of professional experience and MSc/BSc degrees in Computer Science grounded in networking. Now at Red Hat, he blends backend and security engineering expertise—demonstrated by impactful open-source contributions to projects like clevis (automated disk encryption) and CNCF Keylime (edge/cloud/IoT trust), where he improved cryptography handling, dependency hygiene, and vulnerability fixes. His background spans low-level C/C++ systems, embedded and network-processor work, web engine development (WebKit), and test automation, giving him a rare full-stack perspective from hardware to cloud. Colleagues rely on him for careful refactors and security-minded improvements that make systems more maintainable and auditable.
6 years of coding experience
9 years of employment as a software developer
Github Skills (23)
unit-testing10
cert10
python10
testing10
c1110
security10
c1710
certificate-authority10
openssl10
cryptography10
ca10
unit-test10
linux9
tpm9
command-line-interface8
Programming languages (11)
Github contributions (5)
latchset/clevis
Sep 2019 - Nov 2021
Automated Encryption Framework
Role in this project:
Back-end Developer & Security Engineer
Back-end Developer & Security EngineerContributions:7 releases, 109 reviews, 107 commits in 2 years 2 months
Contributions summary:Sergio contributed to the clevis repository by fixing a security vulnerability related to the SSS (Secret Sharing Scheme) pin by improving error reporting and fixing a failure. They added functionality to automate clevis luks bind operations by introducing the `-y` (assume yes) argument. The user also refactored the code, including changes to the `udisks2` integration and used OpenSSL functions.
cryptographypythonsecurityframeworkencryption
keylime/keylime
Sep 2021 - Nov 2022
A CNCF Project to Bootstrap & Maintain Trust on the Edge / Cloud and IoT
Role in this project:Backend & Security Engineer
Backend & Security EngineerContributions:129 reviews, 20 commits, 21 PRs in 1 year 2 months
Contributions summary:Sergio primarily focused on improving the security and maintainability of the Keylime project. Their contributions include replacing the M2Crypto library with python-cryptography for certificate management, adding unit tests for certificate authority (CA) utilities and CFSSL integration, and refactoring code to use UTC for certificate validity. Additionally, the user replaced simplejson with the built-in json module and improved error handling in signature verification processes. They also addressed dependency management by removing simplejson and M2Crypto from scripts and documentation.
securitytpmedgeattestationcloud
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.