Available Theses
Attribute-Based Encryption for the Internet of Things
Attribute-Based Encryption (ABE) is an advanced cryptographic paradigm that lets users enforce access control within encryption. Its potential uses are numberless, from cloud privacy to Internet-of-Things security. This thesis aims at developing and testing prototypes of ABE applications in the Internet of Things.
Post-Quantum Cryptography
Quantum computers are close to break all the crypto algorithms we use everyday to protect our data! Luckily, there are some strange, bizarre crypto algorithms that resist also quantum attacks: they are called post-quantum cryptography. The aim of this thesis is to develop and test prototypes of post-quantum cryptography applications.
Software and Electronic Design of Automotive Control Units (ECUs) Combining Aspects of Security and Functional Safety
Connected cars present relevant and unprecedented challenges in terms of functional safety and cybersecurity. Functional safety and cybersecurity mechanisms for connected cars are driven by on-board Electronic Control Units’ embedded software. This thesis aims at implementing a safe and cyber-secure software solution by design and verifying it on real ECU provided by an Automotive producer.
Blockchain Security and DApp Programming
Blockchain and cryptocurrencies are revolutionizing the way we pay stuff and record notarial data. But are we really sure that blockchain is safe from attacks? The objective of this thesis is to develop and test blockchain applications or tools to attack them.
Web Hacking
You think you are good at hacking (or, simply, you’d like to learn to)? The objective of this thesis is to perform a penetration test on existing web platforms, or to develop and test new hacking challenges.
Homomorphic Encryption
Homomorphic encryption is a "magic" type of encryption that allows mathematical computations to be performed on encrypted data. It has infinite applications in future privacy-preserving cloud and edge services. This thesis aims at developing and testing prototypes of homomorphic encryption applications.
Selection of past MS theses:
- Riccardo Xefraj (MS), "SmartFlies - an Ethereum Blockchain Smart Contract for IoT transaction verification", 2022
- Lorenzo Susini (MS), "Hypervisor-based guest agent protection", 2021
- Luigi Treccozzi (MS), "Implementation and Performance evaluation of Attribute-Based and Post-Quantum Cryptographic Techniques for Automotive Over-The-Air Updates", 2021
- Roberto Zanaboni (MS), "A platform for automotive multi-interface cybersecurity vulnerability detection", 2020
- Dario Figliuzzi (MS), "A feasibility study of BGP hijack and man in the middle attacks against IOTA distribuited ledger", 2020
- Simone Facchini (MS), "Protecting Smart Home Environments by exploiting Multi-Level Distributed Intrusion Detection System", 2019
- Francesco Miliani (MS), "Design and implementation of a blockchain-based architecture for peer-to-peer electricity markets", 2019
- Benedetto Girgenti (MS), "Feasability of Attribute-Based encryption techniques on constrained devices", 2019
- Luca Teglia (MS), "Anonymization and frequent pattern analysis of real SIEM traffic data", 2019
- Silvio Bacci (MS), "A Framework for the development of Secure Automotive Applications in AUTOSAR", 2019
- Daniele Marchetti (MS), "Hacking cars by means of software defined radio", 2018
- Sara Cadau (MS), "On programming Ethereum smart contracts: a ticketing application", 2018
- Alessio Bianchini (MS), "A blockchain-based system for IoT-aided certification and traceability of EVOO", 2018
- Mariano Basile (MS), "A blockchain-based approach for digital archives: a decentralized Ethereum application for the safeguarding of the cultural heritage", 2018
- Antonio Arena (MS), "An implementation of RPL Security Features in ContikiOS", 2017
- Angelo Altamura (MS), "A RESTful implementation of RPL Authenticated Mode in Contiki OS for the Internet of Things", 2017
- Giulia Di Bella (MS), "Design and implementation of a Decentralized Ticketing Application based on Smart Contracts enabled Blockchain", 2017
- Tommaso Vongher (MS), "A framework for evaluating and configuring location-privacy solutions", 2017
- Gabriele Del Vigna (MS), "Security modeling and automatic code generation in AUTOSAR", 2016
- Dario Varano (MS), "Automatic code generation for security requirements in AUTOSAR based on the Crypto Service Manager", 2016
- Marco Rasori (MS), "A NetLogo simulation tool for UAV-based secure location verification in crowd sensing", 2016
- Diego Pacini (MS), "Design and implementation of a key derivation module compliant with the IEEE 802.1x-2010 key hierarchy", 2015