search

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.
Other
5 stars 2 forks source link

Hacker Kiosk backend implementation #1193

Closed podhrmic closed 3 years ago

podhrmic commented 3 years ago

Implement Python backend states and functions based on https://github.com/GaloisInc/BESSPIN-Tool-Suite/pull/1192

Expand: https://github.com/GaloisInc/BESSPIN-Tool-Suite/blob/develop/besspin/cyberPhys/hackerKiosk/hackerKiosk.py