Jorge Toro (@jorgetp)
github

jorgetp

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1
  • Global Rank 2,863,088 (Top 99 %)
  • Followers 2
  • Registered about 6 years ago
  • Most used languages
    HTML
         100.0 %
  • Location 🇨🇭 Switzerland
  • Country Total Rank 11,688
  • Country Ranking
    HTML
         1,303

Top repositories

1

dbverify

A Tamarin framework for verification of distance bounding protocols
HTML
1
star