Pinned Repositories
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
ez-mpc
Making Secure Multi-Party Computation Easy and Fun!
pagoda-tailwindcss
python-project-template
Template a Python project with multiple modules and testing and linting
Arash-Afshar's Repositories
Arash-Afshar/Arash-Afshar.github.io
Arash-Afshar/ez-mpc
Making Secure Multi-Party Computation Easy and Fun!
Arash-Afshar/python-project-template
Template a Python project with multiple modules and testing and linting
Arash-Afshar/article-graph
Arash-Afshar/auditor
Arash-Afshar/batchMaliciousRAM
Batch Dual Execution framework for secure multiparty computation
Arash-Afshar/circ
(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
Arash-Afshar/deep-text-corrector
Deep learning models trained to correct input errors in short, message-like text
Arash-Afshar/gohtmx
Arash-Afshar/pagoda-tailwindcss
Arash-Afshar/react-material-ts-template
A template React project using material ui and typescript
Arash-Afshar/secure_multiparty_computation_examples
Arash-Afshar/dotfiles
Arash-Afshar/eprint-kb
Arash-Afshar/fakenewschallenge
UCL Machine Reading - FNC-1 Submission
Arash-Afshar/FCL-ecdsa-verify-audit
We audited the sepc256r1 ecdsa verify in FreshCryptoLib. This repo contains the test files we used to conduct it.
Arash-Afshar/frameworks
Sample code and build environments for MPC frameworks
Arash-Afshar/konnecticator
Admin tool to manage Kafka connectors offset state and monitor health with a web dashboard user interface
Arash-Afshar/kryptology
Arash-Afshar/libscapi
Comprehensive Open Source Library for Secure Multiparty Computation
Arash-Afshar/linkchecker
Arash-Afshar/private-join-and-compute
Arash-Afshar/relic
Code
Arash-Afshar/rust-docker
Arash-Afshar/sample-dev-templates
Arash-Afshar/sigver
Signature verification package, for learning representations from signature data, training user-dependent classifiers.
Arash-Afshar/teck-programmer
Programmer for TECK keyboards.
Arash-Afshar/tf-encrypted
A Framework for Machine Learning on Encrypted Data
Arash-Afshar/watchdog
Python library and shell utilities to monitor filesystem events.
Arash-Afshar/web_dev