elkanatovey
CS PhD student at the Hebrew University of Jerusalem.
Hebrew University of JerusalemJerusalem
Pinned Repositories
anlp1
automated-reasoning
an implementation of a CDCL based SAT solver, SMT solver for uninterpreted functions, and an LP theory solver for formal verification purposes
circom
zkSnark circuit compiler
clusterlink
CTFtools
Tools for cybersecurity CTF competitions. Used to win national cybersecurity competitions (8th place at picoCTF).
dataLink_relay
dataLink_relay is a sockets library in go that allows a server and client to connect via a relay transparently using TCP or MTLS
distribicom
Example implementation of the DPIR protocol
elkanatovey
Config files for my GitHub profile.
grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
NAND2TETRIS_10
my solution to project 10 in NAND2TETRIS
elkanatovey's Repositories
elkanatovey/automated-reasoning
an implementation of a CDCL based SAT solver, SMT solver for uninterpreted functions, and an LP theory solver for formal verification purposes
elkanatovey/dataLink_relay
dataLink_relay is a sockets library in go that allows a server and client to connect via a relay transparently using TCP or MTLS
elkanatovey/NAND2TETRIS_10
my solution to project 10 in NAND2TETRIS
elkanatovey/anlp1
elkanatovey/circom
zkSnark circuit compiler
elkanatovey/clusterlink
elkanatovey/CTFtools
Tools for cybersecurity CTF competitions. Used to win national cybersecurity competitions (8th place at picoCTF).
elkanatovey/elkanatovey
Config files for my GitHub profile.
elkanatovey/grpc
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
elkanatovey/hashCode
ideas for google hashcode
elkanatovey/HEMat
Homomorphic matrix computation
elkanatovey/homomorphic-encryption
[ALPHA] Basic algebraic operators encrypted with LWE utilizing GPU acceleration and ripple adders
elkanatovey/lnd
Lightning Network Daemon ⚡️
elkanatovey/PayloadsAllTheThings
A list of useful payloads and bypass for Web Application Security and Pentest/CTF
elkanatovey/pyfv12
Python implementation of "Somewhat Practical Fully Homomorphic Encryption"
elkanatovey/SEAL
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
elkanatovey/SealPIR
Example implementation of the SealPIR protocol
elkanatovey/sealpir-distribicom
slight modification of sealpir for distribicom