toonn/gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
Public GitHub Catalog
Discovered Oct 7, 2026
toonn / pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
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.
#35095416GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
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*.
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq