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

Loading