Videos

Quantum information theory has several puzzling properties. In particular, it predicts that information carried by quantum objects is incompatible with the use of the logical [...]

Anonymity networks play a crucial role in preserving privacy on the Internet by masking users' identities and guaranteeing the confidentiality of communications. In this talk, [...]

This tutorial delves into the intricacies of Beamer, a powerful LaTeX document class designed for crafting presentations. We will explore basic and advanced features and [...]

Traditional machine learning systems were designed in a centralized man-ner. In such designs, the central entity maintains both the machine learningmodel and the data used [...]

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 [...]