Pinned Loading

1. maude-lp maude-lp Public

   A formal verification tool for Lending Pools. Final MSc Thesis project developed at DTU.

   1

2. signalpy signalpy Public

   Toy Python implementation of the Signal protocol.

   Python 2

3. bdp_assignment_1 bdp_assignment_1 Public

   First assignment for the course of Big Data Platform held at Aalto University (Helsinki, Finland), fall 2019.

   Python

4. atswd-project atswd-project Public

   Software project for the course of Advanced Techniques of Software Development held at Università degli Studi di Firenze (Florence, Italy), spring 2018.

   Java

5. ip-assignments ip-assignments Public

   Assignments for the course of Internet Protocols held at Aalto University (Helsinki, Finland), spring 2020.

   JavaScript

6. SCA SCA Public

   Research work in Side Channel Attacks at ITMO University (Saint-Petersburg, Russia), fall 2018.

   MATLAB 1