Skip to content
View StephanHav's full-sized avatar

Highlights

  • Pro

Block or report StephanHav

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
StephanHav/README.md

Hello! My name is Stephan Havermans:

I am a PhD student in Systems Security at IMDEA Software Institute, my PhD research is done in collaboration with the European Space Agency. My main interest is in security research, with a focus on fuzzing, network security and the space industry.

🛡️ Security Impact

  • CVE-2025-61910: Uncontrolled Memory Allocation in NASA's ION-DTN Bundle Protocol v7
  • CVE-2025-54878: Heap-based Buffer Overflow in NASA CryptoLib
  • CVE-2025-8183: NULL Pointer Dereference in µD3TN Bundle Protocol v7
  • CVE-2024-54129: Improper Initialization in NASA's ION-DTN Bundle Protocol v7
  • CVE-2024-54130: NULL Pointer Dereference in NASA's ION-DTN Bundle Protocol v7
  • CVE-2024-10455: Reachable Assertion in µD3TN Bundle Protocol v7
  • CVE-2024-12107: Double-free in µD3TN Bundle Protocol v7
  • Heap-based Buffer Overflow in NASA HDTN
  • Use of Unitialised Variable in NASA HDTN
  • Uncontrolled Memory Allocation in NASA HDTN
  • Out-of-bounds Read in NASA's ION-DTN Bundle Protocol v6
  • Improper Input Validation leads to DoS in NASA's ION-DTN Bundle Protocol v6
  • Out-of-bounds Read #2 in NASA's ION-DTN Bundle Protocol v6
  • Uncaught Exception leading to DoS in LibreCube python-spacepacket #Fixed

*All issues were privately reported to the affected maintainers in accordance with responsible-disclosure guidelines.

💸 Bug Bounties

HackerOne: sahave

Program Issue Type Reward
LaunchDarkly Out-of-bounds read $1,250
LaunchDarkly Remote DoS $150

📚 Publications

  • 📄 Fuzzing Space Communication Protocols
    S. Havermans, L. Baumgärtner, J. Roberts, M. Wallum, and J. Caballero
    Workshop on the Security of Space and Satellite Systems (SpaceSec), 2025
    [Paper] [Scholar]

  • 📄 Differential Testing of Bundle Protocol v7 Implementations: A Preliminary Report
    S. Havermans, L. Baumgärtner, M. Wallum, and J. Caballero
    Security for Space Systems Conference (3S), 2025
    [Paper] [Scholar]

🌐 Socials:

LinkedIn Twitter

💻 Tech Stack:

Python Shell Script C C++ LaTeX

📊 GitHub Stats:



Popular repositories Loading

  1. email-thread-wrapped email-thread-wrapped Public

    A simple project that generates a 'Wrapped' style summary of an email thread.

    Jupyter Notebook 1

  2. StephanHav StephanHav Public

  3. hand-coded-cnn hand-coded-cnn Public

    A convolutional neural network that uses backpropagation written in Python only using base Python and Numpy.

    Python

  4. vocabulary-quiz vocabulary-quiz Public

    A simple vocabulary quiz where you can be tested on the 1000 most common words, which you have to correctly translate to English.

    Go

  5. coding-exercises coding-exercises Public

    Coding exercises Software Engineer Application

    Python

  6. ION-DTN ION-DTN Public

    Forked from nasa-jpl/ION-DTN

    NASA Open Source ION Software implementation of Delay Tolerant Networking. ION development is managed by the Jet Propulsion Lab; regression testing and code management are provided by Ohio University.

    C