chris-wood/CircuitMinimization chris-wood/CircuitMinimization

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Java
  • Created over 11 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chris-wood/CircuitMinimization
github

chris-wood

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Small programs for (linear and nonlinear) combinational logic minimization

More Repositories

1

odoh-server

(Oblivious) DoH Server
Go
27
star
2

ohttp-go

Oblivious HTTP implementation
Go
22
star
3

dtls-test

C
18
star
4

odoh

Oblivious DoH library
Go
17
star
5

geolocation-threat-model

Geolocation threat model
Makefile
8
star
6

SignatureVerification

Various digital signature verification algorithm implementations and test code
C++
7
star
7

Sboxes

S-box research code
Python
7
star
8

aes-gcm-siv

Python
7
star
9

private-access-tokens-api

6
star
10

draft-bar-cfrg-spake2plus

Sage
5
star
11

ohttp-js

Oblivious HTTP Javascript implementation
TypeScript
5
star
12

draft-amjad-cfrg-partially-blind-rsa

Python
5
star
13

odoh-client

Oblivious DoH client
Go
4
star
14

proxy-reencryption

Proxy Re-Encryption code
Java
4
star
15

rwc2017

Notes from RWC2017
3
star
16

iris

iris forwarder
Rust
3
star
17

keccak-python

SHA-3 Keccak sponge function implemented in Python
Python
2
star
18

FTPredator

FTPredator - helpful forensic tool
Python
2
star
19

ietf-masque

MASQUE BoF material for IETF 107
2
star
20

star-go

Go
2
star
21

vrf-poc

Python
2
star
22

pygalois

Generic and optimized implementations of operations for elements in Galois fields.
Python
2
star
23

ccnx-pktgen

Haskell
2
star
24

dissect

C
2
star
25

kolmogorov-smirnov

Python
2
star
26

draft-unreliable-ohttp

Makefile
2
star
27

coffee-roasting

Repository to track coffee roasting recipes and results
2
star
28

UCI-CryptoSecuritySeminar

Repo for things related to the crypto/security seminar at UCI
CSS
2
star
29

CryptoMathCode

Code to accompany the book, An Introduction to Mathematical Cryptography
2
star
30

ip-reputation

1
star
31

SecureLoggingSystem

Proof-of-concept secure logging system based on the CP-ABE scheme
Python
1
star
32

ICNSimulator

CCN simulator with virtual interest forwarding
Java
1
star
33

rfc9180

1
star
34

llvm-pgopre

(proof of concept) Profile-guided PRE implementation for an old branch of LLVM
C++
1
star
35

CourseraCourses

Coursera: Functional Programming Principles in Scala by Martin Odersky
Scala
1
star
36

sudoku

prolog suduko
Prolog
1
star
37

ORAM3P

Three-party ORAM implementation
Java
1
star
38

fake-cbc-padding-oracle

Python
1
star
39

ccnx-pktpusher

C
1
star
40

L21-Labeling

Code for my L(2,1)-labeling research
SuperCollider
1
star
41

cicn-security-summary

A summary of attacks and countermeasures on the CICN network architecture.
Makefile
1
star
42

ccn-onpath-simulation-ccnsim

C++
1
star
43

draft-wood-httpbis-ech-coalescing

Makefile
1
star
44

RIT-Assignments

RIT class assignments
Java
1
star
45

ICNCachingSimulator

Python
1
star
46

cool

content oriented language
C
1
star
47

interactive-aead-limits

HTML
1
star
48

llvm-optimized

"Fork" of LLVM branch for experimenting with various IR-level optimizations
C++
1
star
49

draft-icnrg-flic

File-Like ICN Collection (FLIC)
HTML
1
star
50

ParallelJava

Example programs written using the Parallel Java library
Java
1
star