nicopal/dbspVerification
ProVerif verification script for the dbsp protocol
Discovered public repositories for nicopal in the GitHub catalog.
ProVerif verification script for the dbsp protocol
id2210 Decentralized Search Project
p2p_course_matters
extending and improving the trusted computing project from https://code.google.com/p/trusted-computing-project/
Software Development Kit to enable remotely retrieval and verify target platforms integrity