Become a sponsor to Rafael David Tinoco
Runtime Security and eBPF | Jibril Runtime Security Creator | Former: Tracee Maintainer, Ubuntu Server Core Developer | Former: Aqua Security, Canonical, IBM Mainframe, IBM Cloud, Linaro, RedHat and Sun Microsystems.
Currently developing Jibril Runtime Security - https://jibril.garnet.ai - A high-performance minimal-overhead runtime security tool with no event loss during peak loads. It features built-in detection recipes, network policy enforcement and support for containerized, Kubernetes, traditional server, and IoT environments.
Summary
Open Source Software Engineer with over 25 years of experience in IT, combining deep expertise in Linux kernel tracing & debugging, performance analysis and security introspection with emerging competencies in machine learning. Big experience in software maintenance and fixes for both userland and kernel.
Skills Summary
- C, Perl, Python, Shell, Go
- Linux Runtime Security (eBPF tc, xdp, cgroup, lsm, kprobes, tps, ...).
- eBPF and libbpf internals, CO-RE relocations, portability and performance.
- Linux Systems and Network Programming (core API and ABIs).
- OS Internals (development and sustaining).
- OS and HW Virtualization Internals (KVM, QEMU, VirtIO internals).
- Open Source repository & community management.
Skills
- Skilled in C, Go, Python, eBPF, Shell and others.
- Strong knowledge of ISAs, OS APIs, ABIs, and ISA calling conventions.
- Familiar with hardware memory models and related mechanisms.
- Proficient with GDB, Crash, {u,k}probes, Systemtap, Perf, Ftrace, Valgrind, and similar tools.
- Experienced in Linux systems programming, including pthreads, networking, and userland libraries.
- Knowledgeable in VFS, Networking, Block Device (SCSI/iSCSI), VM, and Scheduling subsystems for debugging and introspection.
- Virtualization & Security: Proficient in QEMU/KVM internals, side-channel attack mitigation, VirtIO spec, and vhost-user/vhost-host mechanisms.
- Hardware: Experienced with x86 servers, HPC supercomputers, SPARC, ARM64, and s390x architectures.
- Operating Systems: Expert in Linux (Red Hat, Debian, Ubuntu, Arch), Solaris, z/VM, z/OS USS, and BSDs.