Skip to content
@spectector

Spectector

Automatic detection of speculative information flows

Popular repositories Loading

  1. spectector spectector Public

    Automatic detection of speculative information flows

    Prolog 75 10

  2. spectector-benchmarks spectector-benchmarks Public

    Benchmarks for Spectector

    Assembly 8 3

  3. muasm_translator muasm_translator Public

    Front-end for Spectector

    Prolog 2

  4. spectector.github.io spectector.github.io Public

    Spectector webpage

    HTML

Repositories

Showing 4 of 4 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…