Skip to content

History

Revisions

  • Updated Typing rules in Owl and Verus to support side‐channel security (markdown)

    @pratapsingh1729 pratapsingh1729 committed Oct 1, 2024
    499cad7

  • Created Typing rules in Owl and Verus to support side-channel security (markdown)

    @pratapsingh1729 pratapsingh1729 committed Oct 1, 2024
    b952703

  • Created Integration of type refinements into verus (markdown)

    Joshua Gancher committed Jan 8, 2024
    a974050

  • reorg

    @pratapsingh1729 pratapsingh1729 committed Dec 22, 2023
    f87bd7e

  • Initial Home page

    @pratapsingh1729 pratapsingh1729 committed Dec 22, 2023
    e98142e

  • Design Doc: Defining crypto primitives in Owl

    @pratapsingh1729 pratapsingh1729 committed Dec 22, 2023
    6014b7d