s2n, implementace TLS od Amazonu (diskuse)

[asdasdasd]

Poodstranovali bezpecnostne zbytocnosti a nechali iba zaklad bez zbytocnych security balastov... :-P

[the.max]

A nebo jen odstranili všechny cizí backdoory a nechali jen ten svůj?

[.,..]

http://www.linuxexpres.cz/novinky/amazon-ma-vlastni-otevrenou-implementaci-tls Lisíte se v 1000 řádcích, já vím není to mnoho, i já uďělám podržením jedné klávesy 1000 řádků snad i do hodiny, ale i tak kde je pravda?

[Filip Jirsák]

Všude se píše, že ta nová knihovna má 6 000 řádků, jak jste přišel na rozdíl 1 000?

[Harvie.CZ]

nula sem, nula tam...

[----]

bohužel používají libcrypto z openssl...

[unicode]

s2n has been structured so that different encryption libraries may be used. Today s2n supports OpenSSL, LibreSSL, BoringSSL, and the Apple Common Crypto framework to perform the underlying cryptographic operations.

[Radek Miček]

s2n is a C99 implementation of the TLS/SSL protocols that is designed to be simple, small, fast, and with security as a priority.

Static analysis, fuzz-testing and penetration testing

Bezpečnost je prioritou, ale je to napsáno v C a bez formální verifikace?

[Jendа]

Asi se očekává, že už lidi mají kompilátor a hardware, který kontroluje přetečení.

[Sid]

Asi by chcelo pred pisanim zistit co znamena verifikacia. Ohladom verifikovania ale som skepticky ak to je postavene nad inou kniznicou. To by asi velky zmysel nemalo.

[Jendа]

Asi by chcelo pred pisanim zistit co znamena verifikacia.

Myslím že vím. Ale on ji dělá vůbec někdo?

[Radek Miček]

Pokud jde o verifikaci implementace TLS, tak vím pouze o miTLS.

[Sid]

ale hej, tusim nejake microjadro ju ma. Aj ked urobenu tak, ze je to napisane v Haskell a ten kod je potom transformovany na C kod. (teda ak si to dobre pamatam).

[Jendа]

OK, a ještě neleakovat paměť :)