Skip to content

@spectector Spectector

Change the repository type filter

All

    Repositories list

    4 repositories

    • muasm_translator

      Public
      Front-end for Spectector
      Prolog
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 14, 2021Jul 14, 2021

    • spectector

      Public
      Automatic detection of speculative information flows
      Prolog
      •
      Apache License 2.0
      •10•67•0•0•Updated Jul 14, 2021Jul 14, 2021

    • spectector.github.io

      Public
      Spectector webpage
      HTML
      •0•0•0•0•Updated Oct 5, 2020Oct 5, 2020

    • spectector-benchmarks

      Public
      Benchmarks for Spectector
      Assembly
      •3•7•0•0•Updated Sep 21, 2020Sep 21, 2020