Skip to content

GitLab

Explore

Sign in
Register

S

SMASHUP

Project information

This project aims to automate the translation of hardware/software co-designs into a ProVerif specification that ProVerif can handle.

0 Commits
1 Branch
0 Tags

README

Created on

August 14, 2015

Copy SSH clone URLgit@gitlab.eurecom.fr:Aishuu/smashup.git
Copy HTTPS clone URLhttps://gitlab.eurecom.fr/Aishuu/smashup.git

Loading