wangxiao1254

Xiao Wang's repositories

A Flexible Efficient Secure Computation Backend

Language:JavaNOASSERTION33 10 3

First open source implementation of ORAM in secure computation.

Language:Java11 50

Language:Java10 3 1

Language:C++5 30

Language:Java2 70

Language:C++NOASSERTION1 10

Language:CNOASSERTION020

code for privacy-preserving sat solver

Language:Roff010

An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.

Language:RustAGPL-3.0010

Fork of https://launchpad.net/rubber

Language:PythonGPL-2.0010

A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation

Language:CMIT010

code for zkunsat

Language:C++010

Language:C++010