Videos

Quirk (https://algassert.com/quirk) is a drag-and-drop quantum circuit simulator that is easy to use and very interesting to understand how quantum computers works. In this session, [...]

The one-time pad is an encryption technique that is proven to be unbreakable by an eavesdropper. It relies on a single-use secret key shared between [...]

D3.js is a JavaScript library that facilitates the creation and animation of HTML and SVG content representing a (possibly dynamic) data structure. While clearly more [...]

Tamarin Prover is an open source model checker for proving and verifying security protocols in the Dolev-Yao symbolic model, initially developed at the Information Security [...]

Acknowledgment: Joint work with Martin Haenggi (University of Notre Dame) The current analysis of wireless networks whose transceivers are confined to streets is largely based [...]

Federated Learning (FL) attempts to protect the privacy of the participants in the scheme by uploading locally-trained models from edge devices to a server, where [...]

An overview of François Durand and Lorenzo Maggi's activities on beamforming, energy savings, radiation exposure mitigation, and scheduling over the last few years. François' slides [...]

APT (Advanced Package Tool) is the package manager used under Debian and any Linux distribution based on Debian (Ubuntu, Mint, etc.). APT is used needed [...]

This talk precede the talk of Prof. Andrea Araldo "Technical and economic strategies for Multi-Tenant Edge Computing". The evolution of the architecture of Mobile Radio [...]

We consider in this thesis Edge Computing (EC) as a multi-tenant environment  where Net- work Operators (NOs) own edge resources deployed in base stations, central [...]