Davide Carnemolla

Codici per il Tutorato di Sistemi Operativi @ DMI, UNICT (2023)

No description provided.

Jasmin language support for Zed.

Language for high-assurance and high-speed cryptography

Tutorial sulla shell Linux e BASH scripting per il tutorato del corso di Sistemi Operativi @ DMI,UNICT

No description provided.

No description provided.

No description provided.

CryptoNets is a demonstration of the use of Neural-Networks over data encrypted with Homomorphic Encryption. Homomorphic Encryptions allow performing operations such as addition and multiplication over data while it is encrypted. Therefore, it allows keeping data private while outsourcing computation (see here and here for more about Homomorphic E

Official implementation for CryptoFace: End-to-End Encrypted Face Recognition. The paper is presented at CVPR 2025.

No description provided.

No description provided.

Codici per il tutorato qualificato di Programmazione 1 @ DMI, UNICT (2024)

No description provided.

No description provided.

ns3 implementation of epidemic routing protocol for the course of Peer to peer and Wireless Network @ DMI,UNICT

Sistema di autoprenotazione per l'aula studio Johnson@DMI-UNICT

A simple Unlimited Register Machine emulator written in Go

No description provided.

Upmath LaTeX Renderer

A simple two-wheeled robot for the Robotic Systems's course of the Department of Mathematics and Informatics of the University of Catania.

A docker image for ns3 (network simulator)

Shor's Algorithm implementation using the Qiskit SDK

No description provided.

Telegram-SpottedDMI-Bot is the platform that powers @Spotted_DMI_Bot, a Telegram bot that let students send an anonymous message to the channel community.

No description provided.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Bot that sends randomized welcome messages whenever an user enters in a group

No description provided.

No description provided.