Thanks to visit codestin.com
Credit goes to github.com

Skip to content
@Verification-for-Security

Verification for Security

Contains all repositories for this Masters course given at the VU Amsterdam
README.md

This organisation contains all repositories associated with the VU course; Verification for Security. You may find the assignment repositories pinned to our front page.

Check out our page for more information on course content, scheduling, etc.

Pinned Loading

  1. setup-guide setup-guide Public

    Guide to setup a machine that can run the assignments.

  2. haskell-intro haskell-intro Public

    An introductory assignment for Haskell.

    Haskell 2 4

  3. dpll-t dpll-t Public

    An assignment where you build an SMT solver.

    Haskell 5

  4. vc-gen vc-gen Public

    An assignment where we build a program verifier over a small imperative language.

    Haskell 2 6

  5. ifctypesystem ifctypesystem Public

    An assignment where we build an ifc type system and check the information flow safety of some crypto primitives.

    Haskell 1 2

Repositories

Showing 9 of 9 repositories

Top languages

Loading…

Most used topics

Loading…