Secure Foundations Lab (@secure-foundations)
Guthub

secure-foundations

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    186
  • Global Org. Rank 41,997 (Top 14 %)
  • Registered about 7 years ago
  • Most used languages
    Rust
         25.0 %
    Dafny     20.0 %
    Python
         10.0 %
    Coq     10.0 %
    WebAssembly     5.0 %
    F#
         5.0 %
    Haskell
         5.0 %
    SMT     5.0 %
    Verilog     5.0 %
    C
         5.0 %
    OCaml
         5.0 %

Top repositories

1

provably-safe-sandboxing-wasm-usenix22

Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
WebAssembly
37
star
2

rWasm

A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
Rust
29
star
3

veri-titan

Verifying OpenTitan
Dafny
21
star
4

vWasm

A formally-verified provably-safe sandboxing Wasm-to-native compiler
OCaml
19
star
5

owl

Compositional Verification of Security Protocols
Haskell
11
star
6

veribetrkv-osdi2020

VeriBetrKV OSDI'20 artifact
Dafny
10
star
7

wasm-semantics-fuzzer

An aid for developing correct WebAssembly implementations through generative fuzzing
Rust
9
star
8

mariposa

SMT
9
star
9

verus

Verified Rust for low-level systems code
Rust
6
star
10

everquic-dafny

C
5
star
11

SWISS

Automatically synthesizing invariants of distributed systems
Python
5
star
12

verifiable-computation

Code for the Pinocchio and Geppetto Verifiable Computation systems
F#
5
star
13

veri-datalog

Verified Datalog
Dafny
5
star
14

human-eval-verus

Rust
5
star
15

herqules

Verilog
4
star
16

ironsync-osdi2023

IronSync paper artifact for OSDI 2023
Dafny
3
star
17

vest

High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus
Rust
3
star
18

leaf

Leaf library for Iris Concurrent Separation Logic
Coq
2
star
19

riptide-verification

Python
1
star
20

burrow

Burrow coq formalization
Coq
1
star