Received: by 2002:ac0:a5a6:0:0:0:0:0 with SMTP id m35-v6csp4161072imm; Sat, 25 Aug 2018 10:19:55 -0700 (PDT) X-Google-Smtp-Source: ANB0VdYAQ265kBuhEuxCOo9Qb1enH1xHB0eB45Y/xiJaAvXwr7wK4A1eU712YjecIp8Vb/W8BI+u X-Received: by 2002:a62:6602:: with SMTP id a2-v6mr7005381pfc.159.1535217595489; Sat, 25 Aug 2018 10:19:55 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1535217595; cv=none; d=google.com; s=arc-20160816; b=CXDHIZ2ubM836opMgZ2J5KGtF+pQe+gMF8IS6NfyL6CBXamp07X9OGqfvrhjaYce6N sA40hD7esuwsPGf1EbIXnDiRiUoPT0un3/ilX/6/PaUhTHoJxS6AAWD3w6+nCXelRw5e G2+C6Lq7l2bY1x66DATbgtlRAsM+kZvU25PfAXDcS37abrjz5vIjogefWzCMOjOIC/GW mDFckrsSZujTn+ndEoL6yLtlKUckh+/fOQ7K9AnKzA2K4uFybU/H12GnmVlCR8z0OnFO Qy+vcqgmxafO2dYnAqj4uLyD9UiT6pACNpUGYE5L4dpnyQ/d1IcOXsuc9pyprw3tH2es V0AA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature :arc-authentication-results; bh=7qVrvvh02CarJBHuyTSDS+C7gPBCmIHH5vHjicz3qys=; b=jUSM/nRPq4SSArNAMzqNbNlKWmacfNRAwNgYMSL9E9ona3ORLuLG9tXqeAtiF1MghE TmbpQ7jvHBln7HHGsx++qiDCs6GRnczsgEu2Ta+yQi8qy0wMerB0Rjg7mEw4UUahADmR ZOEDtP7RlkzrAfeQPPnveqR8hWQES878f6zrUCOxZeYBpTd0znFDRC0HAkoDwIidgjTw l/ZX4V858TV/Ns73qArJx5Xe0nKjUNqfPnHVRj6aKTyKWrHsXW1drcZn2pDnafvTmeVS WLyIjdVlplbATBUl2IZXYNQcBOFYVZ5I0o5LnFTUARYl0VQ4e8PQGPmqDt7QMWmUmtJd 5iXA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@zx2c4.com header.s=mail header.b=S8mt48J8; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=zx2c4.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id d130-v6si9612542pga.657.2018.08.25.10.19.27; Sat, 25 Aug 2018 10:19:55 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@zx2c4.com header.s=mail header.b=S8mt48J8; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=zx2c4.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727059AbeHYU5T (ORCPT + 99 others); Sat, 25 Aug 2018 16:57:19 -0400 Received: from frisell.zx2c4.com ([192.95.5.64]:60349 "EHLO frisell.zx2c4.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726751AbeHYU5S (ORCPT ); Sat, 25 Aug 2018 16:57:18 -0400 Received: by frisell.zx2c4.com (ZX2C4 Mail Server) with ESMTP id 5877c344; Sat, 25 Aug 2018 17:03:12 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=zx2c4.com; h=mime-version :references:in-reply-to:from:date:message-id:subject:to:cc :content-type; s=mail; bh=EqGIxTPnweK0XbShgttNIg0Tm1k=; b=S8mt48 J8aGNXcx1cGW9Z75mM5f6XH3iXuODg6WSdWdhhlDGFyBh/jLKcaATnQvNmK3zHp/ VWFP/jtBcgvyhIwVckCbXZVICYH5DNMQkP4KsO4OQWJv/xkVvKd0HU30/KBOGcLi HhxXfBn93qa1yVGLymQt6oFDHY8VLYf2eOWV16e3dl5lelPuJBuiMlCHZ8vvE7a6 9Zxyp+7g2MS52dk8DwllvfYjw1HOvDyrgsZFiAHSYDimH8UPwr3D+XrsztrOjZod t2qEmvg1vrzQBokD0IDPp56MAThqyLZS2mGl+/N6WVXjaEvssRloAqHi/iqmH3/y ZjI/bxglzTEjmAxg== Received: by frisell.zx2c4.com (ZX2C4 Mail Server) with ESMTPSA id ac8af107 (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128:NO); Sat, 25 Aug 2018 17:03:11 +0000 (UTC) Received: by mail-oi0-f50.google.com with SMTP id p84-v6so20588718oic.4; Sat, 25 Aug 2018 10:17:43 -0700 (PDT) X-Gm-Message-State: APzg51AdXjmi3m4HBsbjCmmVvdDhzF54LnmXGYPUZkaA1aeIZOooG+8x 4XrOLWVb417w/HpysxU41NI4TGqSI1tuhIG6d4Y= X-Received: by 2002:a54:4f88:: with SMTP id g8-v6mr6141380oiy.191.1535217462661; Sat, 25 Aug 2018 10:17:42 -0700 (PDT) MIME-Version: 1.0 References: <20180824213849.23647-1-Jason@zx2c4.com> <20180824213849.23647-3-Jason@zx2c4.com> <20180825170629.GA8971@zx2c4.com> In-Reply-To: <20180825170629.GA8971@zx2c4.com> From: "Jason A. Donenfeld" Date: Sat, 25 Aug 2018 11:17:31 -0600 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: [PATCH v2 02/17] zinc: introduce minimal cryptography library To: Ard Biesheuvel Cc: LKML , Netdev , David Miller , Andrew Lutomirski , Greg Kroah-Hartman , Samuel Neves , Jean-Philippe Aumasson , Linux Crypto Mailing List Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Pressed send too fast. On Sat, Aug 25, 2018 at 11:06 AM Jason A. Donenfeld wrote: > - https://www.wireguard.com/papers/wireguard-formal-verification.pdf > - https://www.wireguard.com/papers/dowling-paterson-computational-2018.pdf > - https://www.wireguard.com/formal-verification/ - https://www.wireguard.com/papers/lipp-computational-2018.pdf - https://eprint.iacr.org/2018/766.pdf