Skip to content

@secureweb Web Security

Change the repository type filter

All

    Repositories list

    6 repositories

    • fuzzcache

      Public
      FuzzCache: Optimizing Web Application Fuzzing Through Software-Based Data Cache (ACM CCS 2024)
      web-scanningweb-fuzzingphp-fuzzing
      PHP
      •0•9•0•0•Updated Nov 6, 2024Nov 6, 2024

    • symphp

      Public
      Holistic Concolic Execution for Dynamic Web Applications via Symbolic Interpreter Analysis (IEEE S&P 2024)
      phpsymbolic-executionconcolic-executionphp-symbolic-execution
      C
      •
      Apache License 2.0
      •0•10•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e-guest-images

      Public
      Scripts to automatically create VM images
      PowerShell
      •
      Other
      •19•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e-env

      Public
      Your S2E project management tools. Visit https://s2e.systems/docs to get started.
      Python
      •
      Other
      •52•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e

      Public
      S2E: A platform for multi-path program analysis with selective symbolic execution.
      C++
      •
      Other
      •91•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • s2e-manifest

      Public
      Contains the Google repo manifests to manage S2E sources
      15•0•0•0•Updated Oct 3, 2024Oct 3, 2024