fit to one line

This commit is contained in:
Dragos Rotaru
2019-04-10 15:17:44 +02:00
parent f5601c5392
commit b75ebe1d80

View File

@@ -87,7 +87,7 @@ Here I tried to reference the most recent article found on specific software sin
### Tools
- [CBMC-GC](https://gitlab.com/securityengineering/CBMC-GC-2) - Creates Boolean circuits from ANSI-C code optimized for secure computation. | [ShallowCC](http://www.seceng.informatik.tu-darmstadt.de/assets/buescher/ShallowCC16.pdf).
- [Conclave](https://github.com/multiparty/conclave) - Big Data query compiler that combines local cleartext processing with Spark and MPC protocols (Sharemind, Obliv-C). |[EuroSys19](https://arxiv.org/abs/1902.06288).
- [Conclave](https://github.com/multiparty/conclave) - Big Data query compiler that combines cleartext processing with Spark and MPC protocols. | [EuroSys19](https://arxiv.org/abs/1902.06288).
- [MPC-SoK](https://github.com/MPC-SoK/frameworks) - Build environments for many MPC frameworks using Docker containers. | [S&P19](https://marsella.github.io/static/mpcsok.pdf).
- [Tiny-Garble](https://github.com/esonghori/TinyGarble) - Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits. | [S&P'15](http://aceslab.org/sites/default/files/TinyGarble.pdf).
- [UC Compiler](https://github.com/encryptogroup/UC) - Valiant's Universal Circuit Compiler. | [2016/093](https://eprint.iacr.org/2016/093).