Gabriel Fernandez
Senior Software Engineer | Rust, Intel SGX
Salary / Daily rate
73 Aalen, Germany
Freelance
Can come onsite
Skills
Languages
About me
Intro
Senior Software Engineer with 10+ years in distributed systems and blockchain security, specializing in Intel SGX trusted execution environments. Currently at the final stage of pursuing a PhD at TU Dresden. Expert in secure cloud architectures, Docker/Kubernetes orchestration, and privacy-preserving systems for enterprise applications.
Work experience
Senior Software Engineer
HENSOLDT
Feb 2025 - Present
1 year 9 months
73479 Ellwangen, Germany
Doctoral Researcher
Technische Universität Dresden
Apr 2018 - Present
8 years 7 months
01 Dresden, Germany
– Conception and development of a Rollback and Sybil/Fork attack protection mechanism for cloud- wide environments based on single identity attestation and timed execution management using Intel SGX and SCONE with Distributed SQLite (Dqlite) on top of MySQL/MariaDB. The platform serves Docker containers and is run by a Kubernetes orchestration engine. Developed entirely in C and Rust. Find the resulting publication here. – Conception and development of an SGX-based, trusted, privacy- and integrity-protected Distributed Clock System to support applications in untrusted environments with absolute time and bounded error timestamps. The project uses Intel SGX and SCONE for trusted execution and has been written in Rust. Find the resulting publication here – Conception and development of a monotonic counter server platform for general cloud applications with novel reliability properties based on consensus algorithms in data replication. The project uses Intel SGX and SCONE for trusted execution and Kubernetes as its orchestration engine. Developed entirely in Rust. – Conception and development of a block-free exclusion algorithm to ensure mutual exclusion between memory-independent threads with trusted environments, in order to support single-instance policies. The project uses Intel SGX and SCONE for trusted execution and Kubernetes as its orchestration engine. Developed entirely in Rust.
Researcher
Laboratório de Sistemas Distribuídos
Sep 2016 - Mar 2018
1 year 7 months
Campina Grande, State of Paraíba, Brazil
Conception and development of Intel’s SGX hardware security model for a Container Orchestrator using Docker and Python. The resulting platform aimed to secure distributed environments and protect sensitive data during computation, using secure enclaves to guarantee privacy and integrit
Arquiteto de sistema
Smartiks
Mar 2016 - Oct 2016
8 months
Campina Grande, State of Paraíba, Brazil
– Containerization of an energy efficiency system using Docker. Performed Big Data-related analysis and development using Python, Pandas, MongoDB, and ElasticSearch to optimize energy use and ensure efficient data management across large datasets
Embedded - Laboratório de Sistemas Embarcados e Computação Pervasiva
Oct 2014 - Mar 2016
1 year 6 months
Campina Grande, State of Paraíba, Brazil
Desenvolvedor de software
Oct 2015 - Mar 2016
6 months
Campina Grande, State of Paraíba, Brazil
Developed E-health-related applications as Windows Universal Apps, integrating e-health device data into cloud-based information systems. Designed and developed these systems using C#, with the aim of enhancing patient care through seamless data integration between devices and cloud services
Pesquisador
Mar 2015 - Oct 2015
8 months
Campina Grande, State of Paraíba, Brazil
Undergrad capacitation and research project about Cloud Computing technologies and other aspects of distributed systems.
Estagiário de desenvolvimento de software
Oct 2014 - Mar 2015
6 months
Campina Grande, State of Paraíba, Brazil
Android app development application that dealt with file sharing through Local Area Networks.
Estagiário de pesquisa
Laboratório de Sistemas Distribuídos
Jul 2012 - Oct 2012
4 months
Campina Grande, State of Paraíba, Brazil
Research and Development project about private and hybrid cloud technologies and data flow distribution.
Education
Universidade Federal de Campina Grande
Mestrado em Ciências da Computação
2016 - 2018
3 years
Universidade Federal de Campina Grande
Bacharelado em Ciência da Computação
2011 - 2015
5 years
Oulu University of Applied Sciences
2013 - 2014
2 years