toonn/gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
Public GitHub Catalog
Discovered Sep 30, 2026
toonn / capselaiii
Discussion of an article on heuristics for the maximally diverse grouping problem (MDGP) for the course Capita Selecta AI at KULeuven.
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.
#17397152GitHub 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*.