nicopal/id2210-vt13
id2210 Decentralized Search Project
Public GitHub Catalog
Discovered Sep 27, 2026
nicopal / dbspVerification
ProVerif verification script for the dbsp protocol
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.
#11030389GitHub System ID
nicopalOrganization / User
PublicVisibility
ActiveCatalog Status
More from nicopal
nicopal/p2p
p2p_course_matters
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