10000 amaloz (amaloz) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View amaloz's full-sized avatar
47 followers · 19 following

Organizations

@5GenCrypto @emp-toolkit

Block or report amaloz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • ae-generator Public

    Authenticated encryption scheme prover/synthesizer

    C 15 1 Other Updated Aug 25, 2022

  • awesome-mpc Public

    Forked from rdragos/awesome-mpc

    A curated list of multi party computation resources and links.

    1 Updated Feb 21, 2020

  • modes-generator Public

    Automated prover and synthesizer for modes of operation

    OCaml 3 2 Updated Apr 12, 2019

  • saw-script-layer Public

    Spacemacs layer for saw-script

    Emacs Lisp Updated May 23, 2018

  • libacirc Public

    C Updated Apr 11, 2018

  • dotfiles Public

    Random assortment of dotfiles

    Shell 1 Updated Feb 15, 2018

  • libgarble Public

    Garbling library based on JustGarble

    C 3 3 GNU General Public License v2.0 Updated Nov 27, 2017

  • emacs-config Public

    Configuration files for Emacs

    Emacs Lisp Updated Feb 16, 2017

  • libacirc-v1 Public

    Forked from 5GenCrypto/libacirc

    C library for parsing, evaluating, and decomposing acirc format arithmetic circuits

    C Apache License 2.0 Updated Jan 18, 2017

  • obfuscation Public

    Forked from 5GenCrypto/obfuscation

    Implementation of cryptographic program obfuscation

    C 6 1 GNU General Public License v2.0 Updated Nov 18, 2016

  • latex-macros Public

    TeX Updated Sep 30, 2016

  • extrabib Public

    Extra bib entries missing from cryptobib

    Updated Sep 30, 2016

  • linisynth Public

    Forked from osu-crypto/linisynth

    Synthesizing free-xor-compatible garbled circuit constructions via Linicrypt

    Python Updated Sep 30, 2016

  • paper-template Public

    TeX Updated Sep 23, 2016

  • abke Public

    Attribute-based Key Exchange

    C 2 Updated May 25, 2016

  • C-Thread-Pool Public

    Forked from Pithikos/C-Thread-Pool

    A minimal but powerful thread pool in ANSI C

    C++ MIT License Updated Apr 24, 2016

  • crypto-latex Public

    Style file for crypto papers

    TeX 5 3 Updated Nov 15, 2015

  • awesome-config Public

    Configuration files for the awesome windows manager

    Lua Updated Mar 21, 2015

  • otlib Public

    An oblivious transfer library

    C 2 Updated Oct 15, 2014
0