Skip to content
This repository has been archived by the owner on Feb 23, 2022. It is now read-only.

Sequential Supervisor #186

Merged
merged 32 commits into from
Nov 2, 2020
Merged

Sequential Supervisor #186

merged 32 commits into from
Nov 2, 2020

Conversation

josef-widder
Copy link
Contributor

@josef-widder josef-widder commented Oct 20, 2020

Specification of a sequential supervisor that explains how

  • initialization
  • verification
  • attack detection

work together and which addresses several issues:

It uses new functions for the lightstore which are defined in #171 .

@josef-widder
Copy link
Contributor Author

@cezarad, I did the changes you requested. I guess we can we can merge this draft.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants