Contact authors of unavailable tools - Githubissues

crocs-muni / ct-tools

A repository of tools for verifying constant-timeness

https://crocs-muni.github.io/ct-tools/

12 stars 2 forks source link

Contact authors of unavailable tools #4

Closed J08nY closed 2 years ago

J08nY commented 2 years ago

Authors of unavailable tools should be contacted to get info on the tools.

[x] ABPV13 - tool nonexistent?
[x] Blazer - contacted on 14.04.
[x] BPT17 - contacted on 14.04.
[x] CacheD - contacted on 14.04.
[x] COCO-CHANNEL - contacted on 14.04.
[x] ENCoVer - contacted on 14.04.
[x] KMO12 - contacted on 14.04.
[x] SC-Eliminator - found tool
[x] SideTrail - found tool
[x] Themis - contacted on 14.04.

J08nY commented 2 years ago

Update:

Blazer: Response but no link
BPT17: Got link, added to page :heavy_check_mark:
ENCoVer: Got link, added to page :heavy_check_mark:
CacheD: No response
COCO-CHANNEL: No response
KMO12: No response
SideTrail: No response
Themis: No response

Shame on all the no responses.