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.
Security questions, engineering methods, and carefully scoped results. Academic case studies, from the kernel to embedded systems.
Six Linux eBPF verifier vulnerabilities investigated in reproducible environments. Four complete local privilege-escalation chains, with their requirements and limits documented.
Honeypot shell-command data, MITRE ATT&CK characterization, and machine-learning methods to classify attacks and examine attacker behavior.
A timeout mechanism in an emulated NXP S32K3X8EVB environment, bringing together FreeRTOS, memory protection, UART communication, and timer-based scheduling.
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.
Competitions & communityFor professional opportunities, research conversations, or a thoughtful exchange about security and computing.