Skip to content

Instantly share code, notes, and snippets.

@maxvonhippel
Last active April 30, 2020 21:39
Show Gist options
  • Save maxvonhippel/a64070c7e7356a24648956e397fbd27c to your computer and use it in GitHub Desktop.
Save maxvonhippel/a64070c7e7356a24648956e397fbd27c to your computer and use it in GitHub Desktop.

This is a small collection of papers, presentations, and resources I have consumed and enjoyed or intend to read/reference/whatever down the line. Some items have unorganized sub-lists of related links and references below them, which provide additional context or information for further exploration.

CPS

Crypt Topics

Hardware & Trust

Synthesis

Model Checking

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