BPF-Prime: A Verifiably Secure and Extensible Plugin Platform for Flight Software @FlightSoftwareWorkshop
BPF-Prime: A Verifiably Secure and Extensible Plugin Platform for Flight Software  @FlightSoftwareWorkshop
Uploaded April 2026 | Updated September 2026, 2 weeks ago
Haoda Wang (Columbia University) presents "BPF-Prime: A Verifiably Secure and Extensible Plugin Platform for Flight Software" for FSW Workshop hosted by The Johns Hopkins Applied Physics Laboratory March 2026.
BPF-Prime: A Verifiably Secure and Extensible Plugin Platform for Flight SoftwareFSW 2023: Day 4- Keynote - How failure helps us succeedFSW 2023: Day 3- Orion Backup Flight SoftwareGR765 Software Ecosystem updatesPost Quantum Cryptography for RISC-V Space SystemsFSW 2023: Day 3- FSW driven Data Compression on DragonflyLLM-Assisted Automatic MC/DC Test Generation & Requirements Traceability for Long-Duration NASA FSWFSW 2024: Day 1- Leveraging Erlang for Enhanced Fault ToleranceAdvancing High Fidelity Simulations Development of a Real Time Capable Earth Gravity ModelInnovations in Automation, Tools, and Processes for Europa Clipper FlightGeneral Purpose Spacecraft Simulator – an educational and research toolFSW 2023: Rapid Spacecraft Payload Development
Flight Software Workshop |

BPF-Prime: A Verifiably Secure and Extensible Plugin Platform for Flight Software

SHARE TO X SHARE TO REDDIT SHARE TO FACEBOOK WALLPAPER