Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Aggiornato:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Aggiornato:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Aggiornato:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Aggiornato:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Aggiornato:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Secure Information Flow: from Java Bytecode to NuSMV
NuSMV is a new implementation and extension of SMV symbolic model checker, aimed for a reliable verification of industrially sized designs. The objective of this project is to model the Java Bytecode instruction flow of a program. With this model we can automatically check if a program respects the secure information flow property, which means certifying that there is no information leakage.
Skynet: a distributed application for american flights statistics
Every day about 20000 flights sail through the skies of the United States. Online a huge amount of data is available regarding each one of these flights, including information on delays, cancellations and their causes. From this data it’s possible to compute a large number of different statistics on mean delays, probability of cancellation, most probable delay cause etc. based on a single airport, route or airline. For this reasons we decided to create Skynet. Skynet is an application capable of gathering data from the U.S. Department of Transportation website through a web scraper implemented inside of it. The data is then analyzed, processed and distributed on multiple database realized through MongoDB and Neo4j technologies, which are necessary to achieve a good tradeoff between performances, reliability and availability.
TFTP protocol implementation in C language
A TFTP protocol is a simple lockstep File Transfer Protocol which allows a client to get a file from or put a file onto a remote host. This C implementation is suitable for embedded systems or for machines with limited resources.
Connect Four: a secure implementation using OpenSSL library
The aim of this project was to build a secure online version of the famous table game Connect Four. We implemented the application using C language and the OpenSSL libraries. We also formally proved the protocols used during the communication between client and server with the BAN Logic formalism.
EventCrate: a web application for events reservations
This project was made as part of the exam ‘Progettazione Web’ during my Bachelor’s degree. The main goals were to build a web application that would let users create or participate to events of various categories. The application is inspired from the famous EventBrite portal which is one of the most used in this sector.
publications
Paper Title Number 1
Published in Journal 1, 2009
This paper is about the number 1. The number 2 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
Paper Title Number 2
Published in Journal 1, 2010
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf
Paper Title Number 3
Published in Journal 1, 2015
This paper is about the number 3. The number 4 is left for future work.
Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf
talks
Talk 1 on Relevant Topic in Your Field
Aggiornato:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Aggiornato:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.