Cryptography & Systems Researcher
- 📍 Boston, MA
- 📧 Email: hayder.research@gmail.com
I work at the intersection of cryptography, security, and systems, with particular focus on:
- Adversarial Machine Learning & Cryptography: Developing ML-augmented data structures with provable security guarantees
- Privacy-Preserving Systems: Differential privacy, secure logging, and privacy models for learned data structures
- High-Performance Systems: Database acceleration, distributed systems, and network programmability
- Applied Cryptography: Zero-trust architectures, protocol design, and novel entropy sources
I'm actively seeking
- PhD opportunities in cryptography, security, or systems.
- Research collaborations on adversarial ML, privacy-preserving systems, or applied crypto
- 🎓 Harvard University | M.S. Computer Science | 4.0 GPA
- 🎓 City College of New York | M.S. Cybersecurity | 4.0 GPA
- 🎓 MIT | Visiting Student | 6.829: Computer Networks (A grade)
World's first ML-augmented Bloom filters with provable security guarantees. Extends Google Research's learned Bloom filters (Kraska et al.) with adversarial robustness.
Cryptographic TRNG using pulsar data from NASA/ESA as entropy source. Public alternative to Cloudflare's lava lamp generators.
🎮 Lilypond
Cryptographic speedrun verification exploring proofs of execution and tamper-resistance. High-performance C implementation.
Core contributor to Google's P4 representation library. Developed fuzzing modules and runtime verification for switch infrastructure.
Languages: Go, Python, C, C++, Rust, P4, Java, JavaScript
Security: Zero Trust, Cryptography, Differential Privacy, Endpoint Security
Systems: Kafka, Spark, Kubernetes, Borg, MySQL, BigTable, HBase
Cloud: GCP, AWS, Azure, Terraform, Ansible