[Lake] Weekly github digest (LAKE Working Group Activity Summary)

Repository Activity Summary Bot <do_not_reply@mnot.net> Sun, 18 December 2022 07:55 UTC

Return-Path: <do_not_reply@mnot.net>
X-Original-To: lake@ietfa.amsl.com
Delivered-To: lake@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 9FF1EC14F72D for <lake@ietfa.amsl.com>; Sat, 17 Dec 2022 23:55:55 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.397
X-Spam-Level:
X-Spam-Status: No, score=-2.397 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_INVALID=0.1, DKIM_SIGNED=0.1, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_PASS=-0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=fail (2048-bit key) reason="fail (message has been altered)" header.d=mnot.net header.b=FNuOylOE; dkim=fail (2048-bit key) reason="fail (message has been altered)" header.d=messagingengine.com header.b=U0P5QM/2
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id ykZOlscyRXdS for <lake@ietfa.amsl.com>; Sat, 17 Dec 2022 23:55:51 -0800 (PST)
Received: from wout3-smtp.messagingengine.com (wout3-smtp.messagingengine.com [64.147.123.19]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 588D3C14F720 for <lake@ietf.org>; Sat, 17 Dec 2022 23:55:51 -0800 (PST)
Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.west.internal (Postfix) with ESMTP id B142D32008C0 for <lake@ietf.org>; Sun, 18 Dec 2022 02:37:01 -0500 (EST)
Received: from mailfrontend1 ([10.202.2.162]) by compute5.internal (MEProxy); Sun, 18 Dec 2022 02:37:01 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mnot.net; h=cc :content-type:date:from:from:in-reply-to:mime-version:reply-to :sender:subject:subject:to:to; s=fm3; t=1671349021; x= 1671435421; bh=Zcc8B5HA+k23KV9uC4wfEgl8ZqluI6jdgDYVkmYFhAw=; b=F NuOylOEHqikT+IE34XlQvxGSbUJWXimCbwFao/b2Pmwo5mcSCSVy9g8p8g27iZRv p2Xgh4Fpt8YIhQ3u53fhKSiIynnBJ/i5eAgtEeKyfRwD3F0x/QCDGe64xbLEeYui 0GesRH9h40eeNEwB8N9w/cTuEPblOhwkXTHy0KUQnrDe9fa1F+gDbEGGILQ18LKK vKnXoElEPvsiXyg57fkVkgCVx4ZMq0O6CX5Mv0JuGiLxOfuhbsfR9VfFIyd7e5rp dYpbPfojsYEFat5aymz8t0kH28XK+ATh4YKUl8j8hj443eqk8YT1x2n2YUd4KI5A +iN5p4/hJ5imH33iQpDvA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-type:date:feedback-id :feedback-id:from:from:in-reply-to:mime-version:reply-to:sender :subject:subject:to:to:x-me-proxy:x-me-proxy:x-me-sender :x-me-sender:x-sasl-enc; s=fm2; t=1671349021; x=1671435421; bh=Z cc8B5HA+k23KV9uC4wfEgl8ZqluI6jdgDYVkmYFhAw=; b=U0P5QM/2hVrR23AMZ ges98M6WLwSE9Ths5uBsoPkowePjwno6yXt7o1BvMXWkZL/VArFwBEEN0UC1+A+V mHWoIL22RomKdYgm8VxvGp5OLKXuTBBVV1caum1y/b/vO8RklNeAfgsekKAbMggQ 238vLzVsvs5M73C4KdSfYspab2ruemaIhbfPpj4tFKSopxtO2z9HR4PrSryGbUoR nA16JNPnYvweX7kWvo1zArbxIf6+dR9H/81Qb59K6FNjCbc+INkaxj3USBw85JDJ lgvVsOFiv58FUBkeiEKPp3CSp9mrQvsAj/M4t9kRdhjGChf7iuH4sS8wDReYE89b CLYpw==
X-ME-Sender: <xms:HcOeY7LsdzvoBniwZ4rgLFI5-BoyWPf__45snYgoSLdZhVziRfdMQQ> <xme:HcOeY_LPxejFew4a-m59jqDEKkbJQyJl-xvQFQBWlFmkNlKQzx2RA5rDCq2Oc_KMY wYlP8j4XsLZKXX_xQ>
X-ME-Received: <xmr:HcOeYztOhVvW-paOTRNOttDuWcVN2hNgdMSTnJFhpSTLQhIY0lGT-hq-cJUSdnpNQO_5YV-oNMB_PLznWJBd5heVI53D4tq4TIZm5GQq8XWEbtfWC6Fos33JQ_2Vq2lUfAaE>
X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvhedrgedtgddutdejucetufdoteggodetrfdotf fvucfrrhhofhhilhgvmecuhfgrshhtofgrihhlpdfqfgfvpdfurfetoffkrfgpnffqhgen uceurghilhhouhhtmecufedttdenucfpohcuuggrthgvuchfihgvlhguucdlgeelmdenuc fjughrpegtggfhvffusegrtddtredttdejnecuhfhrohhmpeftvghpohhsihhtohhrhicu tegtthhivhhithihucfuuhhmmhgrrhihuceuohhtuceoughopghnohhtpghrvghplhihse hmnhhothdrnhgvtheqnecuggftrfgrthhtvghrnhepkeefvdduteejvdefkeehieevuefg fefhteetveegffekffefteffvdelheduieetnecuffhomhgrihhnpehgihhthhhusgdrtg homhenucevlhhushhtvghrufhiiigvpedunecurfgrrhgrmhepmhgrihhlfhhrohhmpegu ohgpnhhothgprhgvphhlhiesmhhnohhtrdhnvght
X-ME-Proxy: <xmx:HcOeY0a9UknErWT-umkXljWT_p5_O6AKqa4-9xNNSfFJ8t05FPE1zA> <xmx:HcOeYyY_E_tEZFCYY2_GwCajYUn88laap6MYnsEwGnSt8sEfXaVc0Q> <xmx:HcOeY4Cj3N0kWK1obO4eIsd1lzTk3IyhPp0GP0o-ZqENFJRMAOFhBA> <xmx:HcOeYw1PZakwWPJuMULHnmHNkCUR9lGOXjrM9ogGxhCqClPGVOhmGQ>
Feedback-ID: i1c3946f2:Fastmail
Received: by mail.messagingengine.com (Postfix) with ESMTPA for <lake@ietf.org>; Sun, 18 Dec 2022 02:37:01 -0500 (EST)
Content-Type: multipart/alternative; boundary="===============5010128537759148787=="
MIME-Version: 1.0
From: Repository Activity Summary Bot <do_not_reply@mnot.net>
To: lake@ietf.org
Message-Id: <20221218075551.588D3C14F720@ietfa.amsl.com>
Date: Sat, 17 Dec 2022 23:55:51 -0800
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/onwCgm-RRZzreOxbFbxwj_m1Zlg>
Subject: [Lake] Weekly github digest (LAKE Working Group Activity Summary)
X-BeenThere: lake@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Lightweight Authenticated Key Exchange <lake.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/lake>, <mailto:lake-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/lake/>
List-Post: <mailto:lake@ietf.org>
List-Help: <mailto:lake-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/lake>, <mailto:lake-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sun, 18 Dec 2022 07:55:55 -0000



Issues
------
* lake-wg/edhoc (+0/-2/💬8)
  6 issues received 8 new comments:
  - #380 Stephen's non-nits (2 by emanjon)
    https://github.com/lake-wg/edhoc/issues/380 [PR exists] 
  - #379 Comment from Stephen about COSE headers (1 by emanjon)
    https://github.com/lake-wg/edhoc/issues/379 [Close?] 
  - #377 Stephen's pre-last-call comments (1 by emanjon)
    https://github.com/lake-wg/edhoc/issues/377 [PR exists] 
  - #375 Protected error, EDHOC-exporter, and responder processing of message_3 (2 by emanjon, gselander)
    https://github.com/lake-wg/edhoc/issues/375 [Close?] 
  - #353 WGLC comment from Christian Amsüss (1 by emanjon)
    https://github.com/lake-wg/edhoc/issues/353 [Close?] 
  - #350 Add references to various security analyses EDHOC has seen and their insights (1 by gselander)
    https://github.com/lake-wg/edhoc/issues/350 

  2 issues closed:
  - Add references to various security analyses EDHOC has seen and their insights https://github.com/lake-wg/edhoc/issues/350 
  - State machine https://github.com/lake-wg/edhoc/issues/372 [PR exists] 



Pull requests
-------------
* lake-wg/edhoc (+0/-2/💬4)
  3 pull requests received 4 new comments:
  - #381 Stephen's non-nits (2 by emanjon, gselander)
    https://github.com/lake-wg/edhoc/pull/381 
  - #378 Stephen's nits (1 by gselander)
    https://github.com/lake-wg/edhoc/pull/378 
  - #373 Protocol State Machine (1 by gselander)
    https://github.com/lake-wg/edhoc/pull/373 [Merge?] 

  2 pull requests merged:
  - Add formal analyses CottierPointcheval22 and GuentherIlunga22
    https://github.com/lake-wg/edhoc/pull/382 
  - Protocol State Machine
    https://github.com/lake-wg/edhoc/pull/373 [Merge?] 


Repositories tracked by this digest:
-----------------------------------
* https://github.com/lake-wg/edhoc