nicopal/dbspVerification
ProVerif verification script for the dbsp protocol
Public GitHub Catalog
Discovered Sep 27, 2026
nicopal / p2p
p2p_course_matters
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9001932GitHub System ID
nicopalOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicopal
nicopal/id2210-vt13
id2210 Decentralized Search Project
nicopal/tc
extending and improving the trusted computing project from https://code.google.com/p/trusted-computing-project/
nicopal/OpenAttestation
Software Development Kit to enable remotely retrieval and verify target platforms integrity