sri-csl Goto Github PK

.github

The public README.md for SRI-CSL

acs

Address Change Signaling

aircraftverse

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

alice

arsenal-base

augmented-metitarski

An Augmented MetiTarski Dataset for Real Quantifier Elimination using Machine Learning

bixie

Inconsistent code detection for Java.

bliss

BLISS: Bimodal Lattice Signature Schemes

blissresources

A collection of public resources related to BLISS (Bimodal Lattice Signature Schemes)

cadical

CaDiCaL SAT Solver

certibus

clam-prov

Provenance Tracking with Clam

clam-prov-benchmarks

Benchmarks for clam-prov

cococrypt

EasyCrypt code extraction tool

coproof

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

cryptominisat

An advanced SAT Solver

ctypes-zarith

Demo how to mix ctypes and "custom" OCaml types

cudd

Colorado University Decision Diagrams

curves

Implementations of popular elliptic curves

daikon-gradle-plugin

(experimental) daikon gradle plugin

datum

A parser for biological experiment shorthand.

descert-example

a place where we can play with DesCert gradle plugins

dilithium

dnre

Code accompanying paper: Direct Amortized Likelihood Ratio Estimation

do-like-javac

dronesim

SoftAgents drone simulation example

encoders

ENCODERS (Edge Networking with Content-Oriented Declarative Enhanced Routing and Storage) is SRI’s content-based networking solution that provides network services and transport architectures required for efficient, transparent distribution of content in mobile ad hoc networks.

etb

The Evidential Tool Bus