New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Demonstrator #72

Open

guancio opened this issue Jun 5, 2019 · 0 comments

Labels

Collaborator

guancio commented Jun 5, 2019 •

edited by totorigolo

Ideas for possible demonstrators:

Elliptic curve encryption for secure bit coin wallet on top of seL4
Binary code and side channels of (subset of) Everest for trustworthy TLS
Validation of seL4 RISC-V and ARMv8 binary
Verification of an embedded kernel for RISC-V or Cortex-M
Verification of parts of GMP/RND

guancio added the question label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment