alessio-proietti Goto Github PK

2021-in550-exam

Repo for my Exam project

2022-in490-exam

Review of Rusty-hermit Unikernel Project

aes-type-inversion

inversion in GF(2^8) m(x)=x8+x4+x3+x+1

aes-type-inversion-notebook

mathematica notebook for inversion in GF(2^8)

alessio-proietti

autodp

autodp: A flexible and easy-to-use package for differential privacy

autoencoders

An dive into the subject of Autoencoders for my GE530 exam

cie-middleware-linux

Middleware della CIE (Carta di Identità Elettronica) per Linux

cloudcifris-fhe-toolkit

IBM Fully Homomorphic Encryption Toolkit For Linux. This toolkit is a Linux based Docker container that demonstrates computing on encrypted data without decrypting it! The toolkit ships with two demos including a fully encrypted Machine Learning inference with a Neural Network and a Privacy-Preserving key-value search.

cobol-js-emscripten

code-server

VS Code in the browser

concrete

Concrete Operates oN Ciphertexts Rapidly by Extending TfhE

crystals-kyber-javascript

JavaScript implementation of CRYSTALS-KYBER (version 3) post-quantum key exchange algorithm.

cysec2022

ricerca cysec 2022

destreamer

Save Microsoft Stream videos for offline enjoyment.

envelope-encryption-rusty-demo

Envelope Encryption based on Rusty HermitCore.

espresso-logic

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

factoring-algorithms

Python implementation of Pollard's p-1, Pho and Wiener Attack. At least.

fastapi-cache

fastapi-cache is a tool to cache fastapi response and function result, with backends support redis and memcache.

fastapi-jwt

secure a FastAPI app by enabling authentication using JSON Web Tokens (JWTs)

fhe-desktop

A repo inspired by IBM/fhe-toolkit-linux repository to build FHE sandbox environments

fixed-hessian-logistic-regression

fra

Fabling Recurrent Automaton

frontend

A Web Client for the AutomaCoin Network.

full-stack-fastapi-postgresql

Full stack, modern web application generator. Using FastAPI, PostgreSQL as database, Docker, automatic HTTPS and more.

homomorphic-rsa-university-exam

Homomorphic implementation of RSA using Microsoft SEAL https://www.microsoft.com/en-us/research/project/microsoft-seal/

in450-2020

repository collegato al corso di Algoritmi per la Crittografia (IN450) - Laurea Magistrale in Scienze Computazionali - Università Roma Tre

incubator-mxnet

Lightweight, Portable, Flexible Distributed/Mobile Deep Learning with Dynamic, Mutation-aware Dataflow Dep Scheduler; for Python, R, Julia, Scala, Go, Javascript and more

lattigo-polls-demo

lean4

Lean 4 programming language and theorem prover