46 open source projects by GaloisInc

A tool for analyzing x86-64 binaries.

Open source binary analysis tools.

The haskell network stack

A suite of rust libraries for secure multi-party computation

Tool for uploading unikernels into EC2

Simulate DDoS attacks and generate traffic datasets

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.

A Haskell parser for JVM bytecode files

Extensible UI Analysis in your browser

SMACCMPilot flight controller

Multi-party computation utilities toolkit for rust

Cryptol: The Language of Cryptography

Haskell JSON library

A simple sqlite3 library for Haskell

Crucible is a library for symbolic simulation of imperative programs

The Ivory EDSL

The SAW scripting language.

A Haskell implementation of the Tor protocol.

A library for binary analysis and rewriting

A library for disassembling x86-64 binaries.

Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/

This project contains various supporting libraries for lean to reason about protocols.

Lua debugger and interpreter

Stratified synthesis for learning machine code instruction semantics

A concurrency framework for the Ivory language

A Haskell binding to the curl library

A set of utilities for using indexed types including containers, equality, and comparison.

Lean4 port of Arduino balance car controller

SAW front end for the MIR language from rustc

The elf-edit library provides a datatype suitable for reading and writing Elf files.

IPython-style interaction for Cryptol

Top-level repository including all relevant BESSPIN repository

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

No description, website, or topics provided.

An interpreter for the Mistral language.

A Haskell-only implementation of zlib / DEFLATE.

State-space estimation algorithms and models

A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW

Lattice-based integer linear programming solver

The SAW core language.

Embedded-friendly crypto a la SMACCM

convert simple cryptol expressions into finite-state machines

A domain specific language for processing ad-hoc data.

An umbrella repository including all of the dependencies to build the smaccmpilot project

Experiments in high-assurance crypto.