Mike Rosulek (rosulek)

rosulek

Geek Repo

Company:Oregon State University

Github PK Tool:Github PK Tool


Organizations
IACR
osu-crypto

Mike Rosulek's starred repositories

chatguessr

A Twitch chatbot for GeoGuessr.

Language:TypeScriptLicense:MITStargazers:37Issues:0Issues:0

pygamehop

[work in progress] Python framework for supporting cryptographic game-hopping proofs

Language:PythonStargazers:12Issues:0Issues:0

aby3

A Three Party MPC framework for Machine learning and Databases

Language:TeXLicense:MITStargazers:185Issues:0Issues:0

xournalpp

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.

Language:C++License:GPL-2.0Stargazers:10400Issues:0Issues:0

websubrev

Web-based software for submission and review of papers to academic conferences. Provides support for the entire life-cycle of the conference review process.

Language:PHPLicense:NOASSERTIONStargazers:3Issues:0Issues:0
Language:C++License:AGPL-3.0Stargazers:24Issues:0Issues:0

MATRIX

MPC Simulation Framework

Language:PythonLicense:MITStargazers:24Issues:0Issues:0

DUPLO

A C++ implementation of the DUPLO cryptographic protocol

Language:C++Stargazers:21Issues:0Issues:0

MiniTrix

MiniMac protocol online phase with the extension and modifications from http://eprint.iacr.org/2014/289

Language:CLicense:Apache-2.0Stargazers:3Issues:0Issues:0

TinyLEGO

A C++ implementation of the TinyLEGO cryptographic protocol [NST17] for general secure two-party computation

Language:C++License:GPL-3.0Stargazers:13Issues:0Issues:0

SplitCommit

A portable C++ implementation of the [FJNT16] XOR-homomorphic commitment scheme

Language:C++License:GPL-3.0Stargazers:9Issues:0Issues:0

libOTe

A fast, portable, and easy to use Oblivious Transfer Library

Language:C++License:NOASSERTIONStargazers:417Issues:0Issues:0

batchDualEx

Batch Dual Execution framework for secure multiparty computation

Language:C++Stargazers:13Issues:0Issues:0

libPSI

A repository for private set intersection.

Language:C++License:NOASSERTIONStargazers:166Issues:0Issues:0

BaRK-OPRF

Efficient Batched Oblivious PRF with Applications to Private Set Intersection (CCS 2016)

Language:C++License:UnlicenseStargazers:76Issues:0Issues:0

linisynth

Synthesizing free-xor-compatible garbled circuit constructions via Linicrypt

Language:PythonStargazers:1Issues:0Issues:0

OTExtension

C++ OT extension implementation

Language:C++License:LGPL-3.0Stargazers:122Issues:0Issues:0

modes-generator

Automated prover and synthesizer for modes of operation

Language:OCamlStargazers:3Issues:0Issues:0

lastpass-cli

LastPass command line interface tool

Language:CLicense:GPL-2.0Stargazers:2850Issues:0Issues:0

obfuscation

Implementation of cryptographic program obfuscation

Language:CLicense:GPL-2.0Stargazers:41Issues:0Issues:0

resolvconf-override

Override resolv.conf through environment variables

Stargazers:55Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:174Issues:0Issues:0

TagTime

Stochastic Time Tracking for Space Cadets

Language:JavaLicense:NOASSERTIONStargazers:363Issues:0Issues:0

gmail-tickler

Get emails out of your inbox until a specified date

Language:JavaScriptLicense:MITStargazers:19Issues:0Issues:0

vamonos

Vamonos: browser-based algorithm visualization

Language:HTMLLicense:NOASSERTIONStargazers:128Issues:0Issues:0