toonn/gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
Public GitHub Catalog
Discovered Sep 26, 2026
toonn / drunken-dangerzone
Lab sessions for Computer Networks
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#8498263GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
toonn/HKYNO
How to Keep Your Neighbours in Order by Connor McBride
toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.