Daniel Micay
Founder at GrapheneOS
Old Toronto, Ontario, Canada
Summary
🤩
RockstarDaniel Micay is a security-focused software engineer and founder of GrapheneOS with 13 years of experience building privacy-first mobile systems. He brings deep systems-level expertise — from hardened memory allocators and libc integration to low-level Android fixes — alongside shipping Android apps that prioritize permissionless, sandboxed designs like a WebView-based PDF viewer and privacy-first camera. An active open-source contributor across C, C++ and Rust, his work spans jemalloc, rand, Android Bionic, terminal tooling and Rust syntax tooling, showing a rare mix of performance, security, and developer-tooling chops. Less obvious but telling: he has implemented subtle hardening features such as a 0-byte size class with memory protection, ChaCha8-based CSPRNG caching, and guard pages for signal stacks to mitigate exploits. Based in Toronto, he combines hands-on engineering with product-level privacy stewardship as he guides GrapheneOS.
13 years of coding experience
Stackoverflow
13reputation
42reached
0answers
1question
Github Skills (56)
kotlin10
algorithms10
libc10
memory-allocation10
ui-d10
webview10
c-language10
malloc10
system-programming10
memory-management10
c1110
ui-design10
camerax10
refactorings10
pdf-viewer10
Programming languages (22)
Github contributions (5)
GrapheneOS/hardened_malloc
Aug 2018 - Sep 2022
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
Role in this project:
Back-end & Security Engineer
Back-end & Security EngineerContributions:14 releases, 16 reviews, 688 commits in 4 years 1 month
Contributions summary:Daniel primarily focused on enhancing the security and efficiency of the hardened_malloc project. Their contributions include implementing a cache for the CSPRNG, adding memory corruption tests, and introducing a 0-byte size class with memory protection. Furthermore, they addressed potential deadlocks in threaded processes, optimized for performance, and integrated a ChaCha8-based CSPRNG. The user also adjusted and corrected various slot counts and memory region handling, indicating a focus on memory allocation and security best practices.
memorybioniclibcglibcallocator
thestinger/termite
May 2012 - May 2021
Termite is obsoleted by Alacritty. Termite was a keyboard-centric VTE-based terminal, aimed at use within a window manager with tiling and/or tabbing support.
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:577 commits, 51 PRs, 41 pushes in 9 years 1 month
Contributions summary:Daniel primarily contributed to the development of a keyboard-centric terminal application, Termite, focusing on feature implementation and user experience improvements. Their work included adding functionality such as text selection, scrollback search, and URL handling, demonstrating a strong understanding of terminal emulators and related technologies. The user also improved the application's usability by implementing keybindings and addressing UI elements.
tabbingtermitealacrittylinuxwindow
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.