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 5

  3. dpll-t dpll-t Public

    An assignment where you build an SMT solver.

    Haskell 5 1

  4. vc-gen vc-gen Public

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

    Haskell 2 7

  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 10 of 10 repositories
  • Verification-for-Security.github.io Public

    Course page

    Verification-for-Security/Verification-for-Security.github.io's past year of commit activity
    HTML 2 1 0 0 Updated Sep 8, 2026
  • errata Public
    Verification-for-Security/errata's past year of commit activity
    0 0 0 0 Updated Aug 26, 2026
  • vc-gen Public

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

    Verification-for-Security/vc-gen's past year of commit activity
    Haskell 2 7 0 0 Updated Aug 26, 2026
  • ifctypesystem Public

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

    Verification-for-Security/ifctypesystem's past year of commit activity
    Haskell 1 2 0 0 Updated Oct 26, 2024
  • hrubric Public

    Wrapper around Haskell hspec to write automated grade scripts (auto-graders).

    Verification-for-Security/hrubric's past year of commit activity
    Haskell 0 0 0 0 Updated Sep 26, 2024
  • dpll-t Public

    An assignment where you build an SMT solver.

    Verification-for-Security/dpll-t's past year of commit activity
    Haskell 5 1 0 0 Updated Sep 22, 2024
  • setup-guide Public

    Guide to setup a machine that can run the assignments.

    Verification-for-Security/setup-guide's past year of commit activity
    0 0 0 0 Updated Aug 28, 2024
  • haskell-intro Public

    An introductory assignment for Haskell.

    Verification-for-Security/haskell-intro's past year of commit activity
    Haskell 2 5 0 0 Updated Aug 28, 2024
  • emit-grade Public

    Very simple grade emitter to reduce duplicate code.

    Verification-for-Security/emit-grade's past year of commit activity
    Haskell 0 0 0 0 Updated Sep 18, 2023
  • .github Public
    Verification-for-Security/.github's past year of commit activity
    0 0 0 0 Updated Aug 31, 2023

Top languages

Loading…

Most used topics

Loading…