Login / Signup

Research Report: Enhanced eBPF Verification and eBPF-based Runtime Safety Protection.

Guang JinJason H. LiGreg Briskin
Published in: SP (Workshops) (2024)
Keyphrases
  • safety analysis
  • model checking
  • database
  • real time
  • data sets
  • artificial intelligence
  • source code
  • information security
  • cryptographic protocols
  • concurrent systems