arash-afshar Goto Github PK

arash-afshar.github.io

article-graph

auditor

batchmaliciousram

Batch Dual Execution framework for secure multiparty computation

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

coreml

This is a simple compiler, using OCaml for a variation of ML language which supports variables, application, abstraction, let polymorphism, branches, integers, and booleans. Credit: Most of the code is borrowed from http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html

coreml_with_labels_and_policy

deep-text-corrector

Deep learning models trained to correct input errors in short, message-like text

dotfiles

eprint-kb

ez-mpc

Making Secure Multi-Party Computation Easy and Fun!

fakenewschallenge

UCL Machine Reading - FNC-1 Submission

fcl-ecdsa-verify-audit

We audited the sepc256r1 ecdsa verify in FreshCryptoLib. This repo contains the test files we used to conduct it.

frameworks

Sample code and build environments for MPC frameworks

gohtmx

konnecticator

Admin tool to manage Kafka connectors offset state and monitor health with a web dashboard user interface

kryptology

libscapi

Comprehensive Open Source Library for Secure Multiparty Computation

msgpack

MessagePack is an extremely efficient object serialization library. It's like JSON, but very fast and small.

private-join-and-compute

python-project-template

Template a Python project with multiple modules and testing and linting

react-material-ts-template

A template React project using material ui and typescript

relic

Code

rust-docker

sample-dev-templates

scapi

The Secure Computation API

secure_multiparty_computation_examples

sigver

Signature verification package, for learning representations from signature data, training user-dependent classifiers.

teck

Truly Ergonomic Computer Keyboard firmware hacking

teck-programmer

Programmer for TECK keyboards.