Mentions légales du service

Skip to content
Snippets Groups Projects
README.md 1.17 KiB
Newer Older
DREIER Jannik's avatar
DREIER Jannik committed
# Cyber-in-Saclay-Tamarin
DREIER Jannik's avatar
DREIER Jannik committed

DREIER Jannik's avatar
DREIER Jannik committed
This repository contains materials for the Tamarin course as part of the "Cyber in Saclay" Winter School in Cybersecurity.

See the [Tamarin Manual](https://tamarin-prover.github.io/manual/) for [installation instructions](https://tamarin-prover.github.io/manual/book/002_installation.html).

HIRSCHI Lucca's avatar
HIRSCHI Lucca committed
Go to the [`exercises` folder](https://gitlab.inria.fr/jdreier/cyber-in-saclay-tamarin/-/tree/master/exercises) for the exercise material.
DREIER Jannik's avatar
VM  
DREIER Jannik committed

# Virtual Machine

HIRSCHI Lucca's avatar
HIRSCHI Lucca committed
A ready-to-use virtual machine (to be used, e.g., with VirtualBox) with Ubuntu and Tamarin pre-installed is available [here](https://filesender.renater.fr/?s=download&token=6da46793-7073-46ff-ab64-7290a77c6237) (you can check that the sha256 sum is  `5ba341f9ade0b50862286a4613cc85a1720ce4ad881eddba1d6d9b4e3787a8e8`).
DREIER Jannik's avatar
VM  
DREIER Jannik committed

HIRSCHI Lucca's avatar
HIRSCHI Lucca committed
It requires approximately 15 GB of disk space to run. To log in, use the user `tamarin` with password `tamarin`.
DREIER Jannik's avatar
VM  
DREIER Jannik committed

HIRSCHI Lucca's avatar
HIRSCHI Lucca committed
The exercise folder is already checked out locally and can be found in `~/cyber-in-saclay-tamarin/exercises/`, there is also a shortcut on the desktop.
HIRSCHI Lucca's avatar
HIRSCHI Lucca committed
**_Before starting, please open a terminal in this folder and enter `git pull` to get the latest version of the exercise files !_**