Back to overview
PROJECT NOTEBOOK

Selected work.

Security questions, engineering methods, and carefully scoped results. Academic case studies, from the kernel to embedded systems.

P / 01
Kernel securityAcademic project

Inside the eBPF verifier.

Six Linux eBPF verifier vulnerabilities investigated in reproducible environments. Four complete local privilege-escalation chains, with their requirements and limits documented.

  • Linux
  • eBPF
  • Buildroot
  • QEMU/KVM
March–September 2026Case study
P / 02
Security analysisAcademic project

Finding patterns in attacks.

Honeypot shell-command data, MITRE ATT&CK characterization, and machine-learning methods to classify attacks and examine attacker behavior.

  • PyTorch
  • Scikit-learn
  • MITRE ATT&CK
  • SSH
November 2024–January 2025Case study
P / 03
Embedded systemsAcademic project

Timing, isolation, control.

A timeout mechanism in an emulated NXP S32K3X8EVB environment, bringing together FreeRTOS, memory protection, UART communication, and timer-based scheduling.

  • Embedded C
  • FreeRTOS
  • QEMU
  • MPU
MSc courseworkCase study
ALSO BUILT TOGETHER
Team hackathon project

Smart Budget Scheduler

An open-source financial-management platform for HKN chapters, covering budgeting and forecasting, deadline tracking, and analytics.

SpaghettiOverflow, representing the Mu Nu Chapter, placed first internationally in the 2025 IEEE-Eta Kappa Nu International Hackathon.

  • React
  • Express
  • PostgreSQL
Competitions & community
GET IN TOUCH

Let’s start a conversation.

For professional opportunities, research conversations, or a thoughtful exchange about security and computing.