Und wann gibt es einen Security Audit

[Joker86]

Ich meine bei Spectre / Meltdown war Torvalds ja auch nicht zurückhaltend mit Schimpftiraden. Aber einen ungeprüften Cod ein den Kernel aufzunehmen ist kein Problem?

[tscs37]

Der Wireguard Code wurde bereits formell verifiziert, das sollte Probleme ausschließen. Die Kryptografen die an WG gearbeitet haben oder dem Projekt grünes Licht gegeben haben (also inoffiziel via Twitter z.b.) sind auch relativ bekannte Namen. Da WG auch relativ wenig von sich aus tut ist die Angriffsfläche sehr gering.

[maxule]

tscs37 schrieb:
-------------------------------------------------------------------------------
> Die Kryptografen die an WG gearbeitet haben oder dem Projekt
> grünes Licht gegeben haben (also inoffiziel via Twitter z.b.) sind auch
> relativ bekannte Namen.
Z.B. :
Ley Lang
Mark Ley Bletch
Mel Krem
King Peh
Sad Moses
...?

[OJO]

"formell verifiziert" was meinen sie mit formell? Es gibt schriftliche kryptoanalysen?
Und überhaupt, wer ist Jason?