Pinned Repositories
emp-tool
crypto-material
emp-tool
FlexSC
A Flexible Efficient Secure Computation Backend
idash_2015
obliv-c
oram_simulator
ppsat
code for privacy-preserving sat solver
SCORAM
First open source implementation of ORAM in secure computation.
Secure-Computation-of-MIPS-Machine-Code
wangxiao1254's Repositories
wangxiao1254/FlexSC
A Flexible Efficient Secure Computation Backend
wangxiao1254/SCORAM
First open source implementation of ORAM in secure computation.
wangxiao1254/crypto-material
wangxiao1254/Secure-Computation-of-MIPS-Machine-Code
wangxiao1254/oram_simulator
wangxiao1254/idash_2015
wangxiao1254/emp-tool
wangxiao1254/obliv-c
wangxiao1254/ppsat
code for privacy-preserving sat solver
wangxiao1254/reverie
An efficient and generalized implementation of the IKOS-style KKW proof system (https://eprint.iacr.org/2018/475) for arbitrary rings.
wangxiao1254/rubber
Fork of https://launchpad.net/rubber
wangxiao1254/sse2neon
A translator from Intel SSE intrinsics to Arm/Aarch64 NEON implementation
wangxiao1254/zkunsat
code for zkunsat
wangxiao1254/ZKUNSAT-1