Discover @gprimiero Open Source projects

Giuseppe Primiero (@gprimiero)

gprimiero

Stars
2
Global Rank 2,219,069 (Top 77 %)
Followers 4
Following 5
Registered over 11 years ago
Most used languages

TeX
100.0 %
Location 🇮🇹 Italy
Country Total Rank 13,502
Country Ranking

TeX
309

trust4vanet

A formally verified Trust and Reputation Model for VANET

SecureNDC

A Coq Library for the SecureND Calculus for Minimal Trust