IETF Logo Mail Archive

[Lake] Re: Call for formal analysis of draft-ietf-lake-ra-05

Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Mon, 27 April 2026 09:54 UTC

Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: lake@mail2.ietf.org
Delivered-To: lake@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id C7B10E3D1740 for <lake@mail2.ietf.org>; Mon, 27 Apr 2026 02:54:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1777283665; bh=UaETLTgZb85vRIv8o/+oYGuIYBYF/5x5FBcPL2xCyJ0=; h=Date:Subject:To:References:From:In-Reply-To; b=RDCpaxyWx8S2x+9kznONxVF1NmsxBYNUaz+/Q5xms1jIs4/s/xVx6ogS7AhWlVkxF MdGga3pMMZ0ohwYwAlwOhjNpdDtX69elU4MKkrk+zJYJEbWchDJjddbYCxwN/7DI4X UnLbw9h2uMhvAyTPHZhKL9jFbGhqXjgnnJs1+7U4=
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -4.399
X-Spam-Level:
X-Spam-Status: No, score=-4.399 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: mail2.ietf.org (amavisd-new); dkim=pass (2048-bit key) header.d=tu-dresden.de
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id N2cesSk8Xxy4 for <lake@mail2.ietf.org>; Mon, 27 Apr 2026 02:54:25 -0700 (PDT)
Received: from mailout3.zih.tu-dresden.de (mailout3.zih.tu-dresden.de [141.30.67.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id 10C1DE3D1731 for <lake@ietf.org>; Mon, 27 Apr 2026 02:54:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Type:In-Reply-To:From:References:To: Subject:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=UaETLTgZb85vRIv8o/+oYGuIYBYF/5x5FBcPL2xCyJ0=; b=UzqpOC446C7cHS1qHRmI1eR51m /ZVvwazaVEfwVCqiX6yGyC/v7Eeechwl2R6PHcpoqyIfg7r9v4ni6I6iONg+S8oMEH78Xh6Y8wh8U ZRJcKmBUR7uFNwLQdfLUiyOomXd4il0SD7zc8AKsXnzzR7jFOW1c16B6NrBCtyVaac3SshdOqJ/pZ mGikD1RA1Gvbp1RZMGwdwXlGWAcNMdFJxPgcgPxs9Dhhde2VrxA0gBrckT600XeAb5kzlM0C3+Pfd bjogAaKW11CyBwxM6coFHOVQNr81OuzthCcBJTMgiaZqEuPzUjjYj+uztVfSU8Xc3TiKnEbtKm6Pc MCF2xTpw==;
Received: from msx-t422.msx.ad.zih.tu-dresden.de ([172.26.35.139] helo=msx.tu-dresden.de) by mailout3.zih.tu-dresden.de with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1wHIfX-00BmMp-35; Mon, 27 Apr 2026 11:54:24 +0200
Received: from [10.12.5.228] (141.76.13.149) by msx-t422.msx.ad.zih.tu-dresden.de (172.26.35.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.2562.37; Mon, 27 Apr 2026 11:54:15 +0200
Message-ID: <064d8dd2-0e0d-4e12-bc8e-1990050fee64@tu-dresden.de>
Date: Mon, 27 Apr 2026 11:54:15 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: Mališa Vučinić <malisa.vucinic@inria.fr>, lake <lake@ietf.org>
References: <5DE74092-D584-44DF-8A3E-27955AC674DE@inria.fr>
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
In-Reply-To: <5DE74092-D584-44DF-8A3E-27955AC674DE@inria.fr>
Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg="sha-512"; boundary="------------ms090705020405080003060004"
X-ClientProxiedBy: msx-t420.msx.ad.zih.tu-dresden.de (172.26.35.137) To msx-t422.msx.ad.zih.tu-dresden.de (172.26.35.139)
X-TUD-Virus-Scanned: mailout3.zih.tu-dresden.de
Message-ID-Hash: ZY6ABEFXOUJE4ANRWKY7K5AUNTOJZQEW
X-Message-ID-Hash: ZY6ABEFXOUJE4ANRWKY7K5AUNTOJZQEW
X-MailFrom: muhammad_usama.sardar@tu-dresden.de
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [Lake] Re: Call for formal analysis of draft-ietf-lake-ra-05
List-Id: Lightweight Authenticated Key Exchange <lake.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/lake/16-bpx3Gf1f1Yrk29MOC5DJy9CU>
List-Archive: <https://mailarchive.ietf.org/arch/browse/lake>
List-Help: <mailto:lake-request@ietf.org?subject=help>
List-Owner: <mailto:lake-owner@ietf.org>
List-Post: <mailto:lake@ietf.org>
List-Subscribe: <mailto:lake-join@ietf.org>
List-Unsubscribe: <mailto:lake-leave@ietf.org>

Dear Mališa and Renzo,

Thank you for the call for formal analysis.

We (I, Slava, and Jean-Marie) are interested and we will be happy to 
share our findings in the LAKE interim meeting, as proposed.

Best regards,

-Usama

v2.46.0 | Report a Bug | By Email | System Status