search

GaloisInc / BESSPIN-FETT-Portal

The web-based portal used by FETT Researchers to manage Target instances.
Apache License 2.0
0 stars 0 forks source link

Disable some instance types from being able to be spun up for remainder for FETT bug bounty contest #504

Closed mattlebeau-galois closed 4 years ago

mattlebeau-galois commented 4 years ago

Sept 16, 2020 at 9am Pacific / Noon Eastern, Synack intends to disable all of their missions aside from SRI-Cambridge (all three variants) and LMCO's P2. As such, we'll want to disable the other non-GFE CPU types from being launchable in FETT-Portal. Explicitly: REMOVE LMCO | CHISEL_P1 | FREERTOS REMOVE MICHIGAN | CHISEL_P1 | FREERTOS REMOVE MIT | BLUESPEC_P2 | DEBIAN

LEAVE ACTIVE GFE | CHISEL_P1 | FREERTOS LEAVE ACTIVE LMCO | CHISEL_P2 | DEBIAN LEAVE ACTIVE GFE | CHISEL_P2 | DEBIAN LEAVE ACTIVE SRI-CAMBRIDGE | BLUESPEC_P2 | FREEBSD (purecap) LEAVE ACTIVE SRI-CAMBRIDGE | BLUESPEC_P2 | FREEBSD (default) LEAVE ACTIVE SRI-CAMBRIDGE | BLUESPEC_P2 | FREEBSD (temporal) LEAVE ACTIVE GFE | BLUESPEC_P2 | FREEBSD

mattlebeau-galois commented 4 years ago

Tagging @austinhroach for your visibility.

austinhroach commented 4 years ago

I think it makes sense to REMOVE GFE | CHISEL_P1 | FREERTOS, since there will be no active assessment that uses it. Otherwise, that looks correct to me.

mattlebeau-galois commented 4 years ago

Chatted w/Austin - agreed to leave GFE P1 active.

mattlebeau-galois commented 4 years ago

Closing as done.