SRI International's Computer Science Laboratory

Menlo Park, California

Pinned Repositories

gllvm
Whole Program LLVM: wllvm ported to go
Language:Go327 31 5936
libpoly
SRI LibPoly is a C library for manipulating polynomials
Language:C51 11 3017
llvm2smt
Experimental translation of llvm to smt.
Language:LLVM58 19 614
NTT
An Implementation of the Number Theoretic Transform
Language:C48 18 214
PVS
The People's Verification System
Language:Common Lisp158 17 7133
sally
SRI Sally: A model checker for infinite-state systems.
Language:C++73 13 6014
solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++52 15 16115
stegotorus
A Camouflage Proxy for the Tor Anonymity System
Language:C++82 17 417
whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
Language:Python78 16 2811
yices2
SRI Yices SMT Solver
Language:SMT425 25 38556

SRI International's Computer Science Laboratory's Repositories

SRI-CSL/whole-program-llvm
A toolkit for building whole-program LLVM bitcode files
Language:Python78 16 2811
SRI-CSL/llvm2smt
Experimental translation of llvm to smt.
Language:LLVM58 19 614
SRI-CSL/TrinityMultimodalTrojAI
Language:Python34 18 23
SRI-CSL/Bliss
BLISS: Bimodal Lattice Signature Schemes
Language:C26 19 112
SRI-CSL/Trinity-TrojAI
This repository contains code developed by the SRI team for the IARPA/TrojAI program.
Language:Python19 15 03
SRI-CSL/ALICE
Language:Python5 16 03
SRI-CSL/OCCAM-Benchmarks
Set of benchmarks used by the OCCAM tool.
Language:Python4 16 54
SRI-CSL/ICS
Integrated Canonizer and Solver
Language:OCaml3 17 03
SRI-CSL/datum
A parser for biological experiment shorthand.
Language:Clojure2 17 02
SRI-CSL/latextrack
LaTeX Track Changes shows changes over time for a .tex file that has its history stored in a git or svn repository. The user can customize how to view the changes: limited to certain authors or by revision or date among other filters. An Emacs mode provides the user interface. Plug-ins for other editors (such as TeXShop or Atom) are planned.
Language:Java2 2 02
SRI-CSL/PLambda
A Python version of JLambda
Language:Python2 14 24
SRI-CSL/clam-prov-benchmarks
Benchmarks for clam-prov
Language:Shell1 13 0
SRI-CSL/ctypes-zarith
Demo how to mix ctypes and "custom" OCaml types
Language:OCaml1 1 02
SRI-CSL/safedocs-recognizer
DARPA SafeDocs TA1 software suite to bundle and orchestrate various format-aware tracing tools.
Language:Python1 16 00
SRI-CSL/safedocs-yarn-public
Language:Python1 15 00
SRI-CSL/WrapPat
1 16 02
SRI-CSL/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust1 0
SRI-CSL/groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust1 0
SRI-CSL/marlin
A Rust library for the Marlin preprocessing zkSNARK
Language:Rust
SRI-CSL/mpc-algebra
Language:Rust17 0
SRI-CSL/mpc-net
Language:Rust17 0
SRI-CSL/mpc-trait
Language:Rust16 0
SRI-CSL/nonnative
R1CS constraints for non-native field arithmetic
Language:Rust1 0
SRI-CSL/r1cs-std
R1CS constraints for some bits, fields, and elliptic curves
Language:Rust
SRI-CSL/safedocs-meow
SafeDocs TA1 `meow` tool for format-aware tracing of memory events based on Intel Pin
Language:C++16 0
SRI-CSL/snark
Interfaces for Relations and SNARKs for these relations
Language:Rust1 0
SRI-CSL/sponge
Library for cryptographic sponges
Language:Rust2 0
SRI-CSL/utils
Utilities used by the `arkworks` ecosystem
Language:Rust1 0
SRI-CSL/vagrant-free5gc
A vagrant box for test/dev of Free5GC with kernel version 5.0.0-23-generic (stage 3 UPF dependency)
Language:Shell2 0
SRI-CSL/zk-multiprover-snark
Language:Rust1 0