Giters
Spectector (spectector)

Spectector

spectector

Geek Repo

Automatic detection of speculative information flows

Home Page:https://spectector.github.io

Github PK Tool:Github PK Tool

Spectector's repositories

spectector

Automatic detection of speculative information flows

Language:PrologLicense:Apache-2.0Stargazers:65Issues:10Issues:1

spectector-benchmarks

Benchmarks for Spectector

Language:AssemblyStargazers:7Issues:4Issues:1

muasm_translator

Front-end for Spectector

Language:PrologLicense:Apache-2.0Stargazers:1Issues:4Issues:0

spectector.github.io

Spectector webpage

Language:HTMLStargazers:0Issues:0Issues:0