10 entries in 0.37s
a111: 8 results for "cryptol", http://btcbase.org/log-search?q=cryptol
asciilifeform: !#s cryptol
asciilifeform: the premier peddlers of this type of snake oil 'commercially' (i.e. fattened on lavish usg contracts) are the cryptol people. they've spawned, unsurprisingly, shoddy imitators.
assbot: SIMON and SPECK in Cryptol - Galois, Inc. ... ( http://bit.ly/1PTvpkg )
asciilifeform: http://galois.com/blog/2013/06/simon-and-speck-in-cryptol << for connoisseurs
ascii_field: i can absolutely believe that 'cryptol' is used in hitler's phone etc
assbot: GaloisInc/cryptol · GitHub ... ( http://bit.ly/1TjrWJy )
ascii_field: https://github.com/GaloisInc/cryptol
mircea_popescu: "Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification"
ascii_field: it is made by galois inc., they call it 'cryptol'