Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

IEEE Symposium on Security and Privacy via YouTube Direct link

Existing direction: Hybrid fuzzing

2 of 17

2 of 17

Existing direction: Hybrid fuzzing

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Pangolin - Incremental Hybrid Fuzzing with Polyhedral Path Abstraction

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Existing direction: Hybrid fuzzing
  3. 3 Obstacle: Hybrid fuzzing is not efficient
  4. 4 Reason: Hybrid fuzzing is not incremental
  5. 5 Observation: Constraints are discarded directly
  6. 6 Observation: Seeds provide limited guidance for further input generation
  7. 7 Motivating example
  8. 8 Goal: Incremental hybrid fuzzing
  9. 9 Challenge: How to preserve the constraints?
  10. 10 Intuition: Interpret the input search space
  11. 11 Existing challenges to generate inputs
  12. 12 Solution 1: prune the infeasible paths for constraint solver
  13. 13 Solution 2: accelerate solving speed for feasible path
  14. 14 Evaluation
  15. 15 Bug detection
  16. 16 How can guided constraint solving improve efficiency?
  17. 17 Key takeaway

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.