IETF Logo Mail Archive

Re: [Rats] Follow-up CoRIM: Horn clauses

Yogesh Deshpande <Yogesh.Deshpande@arm.com> Tue, 19 March 2024 12:46 UTC

Return-Path: <Yogesh.Deshpande@arm.com>
X-Original-To: rats@ietfa.amsl.com
Delivered-To: rats@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id A3F6DC14F6BD for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 05:46:49 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -6.906
X-Spam-Level:
X-Spam-Status: No, score=-6.906 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_HI=-5, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, UNPARSEABLE_RELAY=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=pass (1024-bit key) header.d=armh.onmicrosoft.com header.b="YYU4Oyi7"; dkim=pass (1024-bit key) header.d=armh.onmicrosoft.com header.b="YYU4Oyi7"
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 SmEV6QB8SdK1 for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 05:46:46 -0700 (PDT)
Received: from EUR01-HE1-obe.outbound.protection.outlook.com (mail-he1eur01on2041.outbound.protection.outlook.com [40.107.13.41]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id A92F6C14F6E4 for <rats@ietf.org>; Tue, 19 Mar 2024 05:46:45 -0700 (PDT)
ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=N6TqQ+2rd7KF9k5VVPY7zmdYPk1oG9yjpYDKZitObtdXXePZtd0gwtq0JqYPbFM8/LF2CHTApW7AJJAeydm6Np+VbTj1tqnze+GvdiTzVfT5ml5IVMO1Wk8EtKpv1hKcsHSz9qHXqRNP3xiLfbFHDdth/SswCFGKBMihMoV28XlZviCqoEWRo4QfxdAKbuCxf2xqGGOFzqe/5oluQaMPWwa3YjlDiXHQaw911Iei1m1Shi5RMuE8VE9LZlBCnsk0HuzrGSRqsfMinr8RB5ywYqsXiuZzb51DbVL6PX1OblwLO384UEfIZ9QSdSGtx5/albM+fqzXxBBBX6FCWarHbw==
ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Xa36FMBmrZtPVdYgo64XGn0Dtdkq6JUBLb9ont+hh6M=; b=Kh9X4AlbhghAIuuyU7zfg2KJjjEuYRgEHSYefNVWh23cwS/Ynj0lyUtx1cPcJuATp5olon8CY02RKDFBmUwMCv8aglQFSooec5faVhbsOgaV4jj/YYHeImRVGPsYiqIskmUv8830MSAfwMw6EaKLdyB7fyqm8MS+/jfUlfJBnE/nW1zi8iFrMBFHNF+Y81q6u0Yodh5OsAfXRJk17lzuKYA6urZk9Mjb9X/D1oxZg7HPTtj4V1bYxeYRSY2kkubo0OrPhlNNADAACT+En0ZPZS30tRcCk0zchCorbKjp22ycWzactccDCo5UxKplya8cnds7/yihXYBBanwMpqDBKQ==
ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 63.35.35.123) smtp.rcpttodomain=ietf.org smtp.mailfrom=arm.com; dmarc=pass (p=none sp=none pct=100) action=none header.from=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com; arc=pass (0 oda=1 ltdi=1 spf=[1,1,smtp.mailfrom=arm.com] dkim=[1,1,header.d=arm.com] dmarc=[1,1,header.from=arm.com])
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Xa36FMBmrZtPVdYgo64XGn0Dtdkq6JUBLb9ont+hh6M=; b=YYU4Oyi79EPdAukZ7JGTKeCHPaMAlPvK277CCjaHacDWlcC+vn/zWALiNASVhkxjQWOQ7BDqBJYAnvgyt5mtsjPPKelHvdrea6U3RF4RMIl7Yt+4FW2hLhfQRgQO6mxA9X5OV7O+OxL1/DTCnfpSqJfzyMyNWgLYJsqWDQWDcCI=
Received: from AM0PR01CA0094.eurprd01.prod.exchangelabs.com (2603:10a6:208:10e::35) by GVXPR08MB10687.eurprd08.prod.outlook.com (2603:10a6:150:15b::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.25; Tue, 19 Mar 2024 12:46:42 +0000
Received: from AM4PEPF00027A61.eurprd04.prod.outlook.com (2603:10a6:208:10e:cafe::9d) by AM0PR01CA0094.outlook.office365.com (2603:10a6:208:10e::35) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.27 via Frontend Transport; Tue, 19 Mar 2024 12:46:41 +0000
X-MS-Exchange-Authentication-Results: spf=pass (sender IP is 63.35.35.123) smtp.mailfrom=arm.com; dkim=pass (signature was verified) header.d=armh.onmicrosoft.com;dmarc=pass action=none header.from=arm.com;
Received-SPF: Pass (protection.outlook.com: domain of arm.com designates 63.35.35.123 as permitted sender) receiver=protection.outlook.com; client-ip=63.35.35.123; helo=64aa7808-outbound-1.mta.getcheckrecipient.com; pr=C
Received: from 64aa7808-outbound-1.mta.getcheckrecipient.com (63.35.35.123) by AM4PEPF00027A61.mail.protection.outlook.com (10.167.16.70) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.10 via Frontend Transport; Tue, 19 Mar 2024 12:46:41 +0000
Received: ("Tessian outbound dc0a9029eb2c:v300"); Tue, 19 Mar 2024 12:46:41 +0000
X-CheckRecipientChecked: true
X-CR-MTA-CID: c36b1d8764c10e38
X-CR-MTA-TID: 64aa7808
Received: from b0c9e31b40fe.2 by 64aa7808-outbound-1.mta.getcheckrecipient.com id 305766AD-C5CC-4AEB-B491-C386970613F6.1; Tue, 19 Mar 2024 12:46:30 +0000
Received: from EUR01-HE1-obe.outbound.protection.outlook.com by 64aa7808-outbound-1.mta.getcheckrecipient.com with ESMTPS id b0c9e31b40fe.2 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384); Tue, 19 Mar 2024 12:46:30 +0000
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=A1+72X2CHiZ+cXvo7chPFf3yPW8UDqFWDFT3pzIBS1O7LQbQEGcx22aOQXiYGGgnqj11eu4Nehi5amD2A8TSB8mRUet/hsQ/9EWYomnvdowvbJurXDVZYftNbO0SVOgUQ3ULa4lgBkNHkDguBPUCSMIqns0f9ZQrUfNa0tVCZuh0/ujsWoXXZEzNUQa4qgmiLZpxubpYIg75h3+KDy7D+xOt+SbmK/NhM3qmU4F1Ma47GCXGmIAt7hy2Kf7ldYtiwMViGpVPOb6vept7u3Mbg2CRqA3XeQitAtRCon26hf8tUX/vazz4GxflmCUA5dWazp+I+Tde/SoS0/cKksO/Zw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=Xa36FMBmrZtPVdYgo64XGn0Dtdkq6JUBLb9ont+hh6M=; b=Eg6S8TcCXJtXrbVa5RKN48o8Z/kdM/bB5jMAZcJpQfJt3XNNH/PNGfKCrK0SFcnwib9TVnGtZDz5EzS1Hv/VtVoZkOzKHYKvc0qwqT6Ut0bffLaUxJc52HS7CFF559tFTuXscCh98c+Mp/IDAiK0uskRKCCnL5K5oBC/YsLeLAsLc0q7QrScUQdnLXBU7qBi7JQUQWNUY9DKxhhKT2fPT4qKZN4YzLyya2Bfbq6N/PUkUGFAfVaeeS+OhUFIKNcCRQZYwjqypsWenZaNjf4AJT3H1ZW0858n6ISV+YsYayJZhwRp65SIkYaU2QqFiLRFPA30rbZelCTK9vOKUjSaKw==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=arm.com; dmarc=pass action=none header.from=arm.com; dkim=pass header.d=arm.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=armh.onmicrosoft.com; s=selector2-armh-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=Xa36FMBmrZtPVdYgo64XGn0Dtdkq6JUBLb9ont+hh6M=; b=YYU4Oyi79EPdAukZ7JGTKeCHPaMAlPvK277CCjaHacDWlcC+vn/zWALiNASVhkxjQWOQ7BDqBJYAnvgyt5mtsjPPKelHvdrea6U3RF4RMIl7Yt+4FW2hLhfQRgQO6mxA9X5OV7O+OxL1/DTCnfpSqJfzyMyNWgLYJsqWDQWDcCI=
Received: from DB9PR08MB9851.eurprd08.prod.outlook.com (2603:10a6:10:460::17) by DB9PR08MB8676.eurprd08.prod.outlook.com (2603:10a6:10:3d0::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.28; Tue, 19 Mar 2024 12:46:20 +0000
Received: from DB9PR08MB9851.eurprd08.prod.outlook.com ([fe80::8d94:e71f:7e40:585e]) by DB9PR08MB9851.eurprd08.prod.outlook.com ([fe80::8d94:e71f:7e40:585e%6]) with mapi id 15.20.7386.025; Tue, 19 Mar 2024 12:46:20 +0000
From: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
To: "muhammad_usama.sardar" <muhammad_usama.sardar@tu-dresden.de>
CC: "rats@ietf.org" <rats@ietf.org>
Thread-Topic: [Rats] Follow-up CoRIM: Horn clauses
Thread-Index: AQHaefKpk+FSJv2P/0yfPwb5rVSiB7E+8z2ggAAEEQCAAAsZQA==
Date: Tue, 19 Mar 2024 12:46:20 +0000
Message-ID: <DB9PR08MB98510CF3E1274B44C28B34808E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com>
References: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de> <DB9PR08MB98518B5A64F79788CBD4600F8E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com> <a28edcd7-6d82-4500-a42e-f76be30babf3@tu-dresden.de>
In-Reply-To: <a28edcd7-6d82-4500-a42e-f76be30babf3@tu-dresden.de>
Accept-Language: en-GB, en-US
Content-Language: en-GB
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-ts-tracking-id: 14C910B15787214297933CE468E57531.0
x-ms-traffictypediagnostic: DB9PR08MB9851:EE_|DB9PR08MB8676:EE_|AM4PEPF00027A61:EE_|GVXPR08MB10687:EE_
x-ld-processed: f34e5979-57d9-4aaa-ad4d-b122a662184d,ExtAddr
x-checkrecipientrouted: true
nodisclaimer: true
X-MS-Exchange-SenderADCheck: 1
X-MS-Exchange-AntiSpam-Relay: 0
X-Microsoft-Antispam-Untrusted: BCL:0;
X-Microsoft-Antispam-Message-Info-Original: 7gkttNVIwNc11arWMzkg+NYuRJIMUw4VDZtEWmHx4H4hkWDHLnfBhAx2fBH3YPwOqEacGSk6DpGBmvLlpbzgIkZvL94IFS4ZHOqqaa+c05fryUXETIy18UMOPp57MePYosBkUmz85W2bGRVlobDQXsyCeguc2ZaoOi6t4dZys3Mw1uhfjINP0pSWDyZ1kr7IskouG1zK1xtPaLK2QDjdaNEIp7xxJ25oTJHd/9N2nOTK1R5rQgAHtZDLDgB6uCBxTlzkYnSydReTCyb2Iu6A7dNEjBjGySBQWoGRBKSCu40uBg1DyjS2+TCFLC6Rt/Ab3zyLMJD4cMghJPRexNskSDp71f04TP+KjfdUt8xnqBaKpLJKxeSHPkbvdT6bc0AcxpFTTpYAiDUzNsxx5twF41lJMnw52DOZCgwnA99WPJArDfdriO7bGo2Bo68vl1DrhHRmDqCtGQKJfxxbQXdmKLG3NZcnqXOIOyRMmaPiWU4Fn2J9+y87dRs2RywpRPG80wHOKF3TEUUAR6e8we3qIK+RQuW6Hj/QouJRSFfIEin4dcs8ge81fku7je7iviBbJOJ/rgXpqSoyyFBF6i+y+WtciNYiPpOKwWJvUrqtcImsN6juMvI1xRVjoW9mJZxn
X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:DB9PR08MB9851.eurprd08.prod.outlook.com; PTR:; CAT:NONE; SFS:(13230031)(366007)(376005)(1800799015); DIR:OUT; SFP:1102;
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB9PR08MB8676
X-EOPAttributedMessage: 0
X-MS-Exchange-Transport-CrossTenantHeadersStripped: AM4PEPF00027A61.eurprd04.prod.outlook.com
X-MS-PublicTrafficType: Email
X-MS-Office365-Filtering-Correlation-Id: fbdcb663-0b55-4b70-7c84-08dc4812a06d
X-Microsoft-Antispam: BCL:0;
X-Microsoft-Antispam-Message-Info: ps59bI8KQeQhBR8j0513BduSpZsXXHPtnyAf2MgIfrt3pzTmb5c3TUw4DmJCQVHbf5rZEVQkprHrsk0QInQEVNF1Kji7dRwjO0o9jzrhBtKhGwVzWRPUgj8zuGXNDOYLZrOM1cf/p8II8bnHk4p1Wzrdc002ywJfXVbJ74upUFban1nqV8NulE2uX5J4lFmF6+umTfXusRNc68HnrTOgiUgyFvpxVyLp/iKTmCZwO1uU7UXXfXfrx/tmmrIJmM04jEFn+PdTP6buTZFkOaOfVtyJWoycNZG9uzwidxSjHIGwOeGGrHNS3VVbl2GzzhnSifcWewF1fO1FNA5cW4q6Cu/04YQg1QCpH7IJsdaA0koLBc3blMcCR4auPEOp8Mq4dddu/8fNZa+3ptTI6r6S8wadixht1WPWpM64ZdRqKC+Bq2Lg4cB8Jpf3LBdR68BeWkZkTwcRYK0h+bi/7gzdTkQ1UbDYxYEfyx7oGR2kjIHK5hWXhGHbJ2MUbbY9OM+K1cFV27kTCWx43nNSpg70q2Hpx1WHn8brIMHg94aWFTDaD9WYY9fXJtH2KlqNRHw6UaPQGWvJyD/5rCw4Dj5TLeKAtZYlidVG6w3d2uwaE5M3scKVHs1lUqQ6KnpyXYExmIOSFdAeVcpNL3+l7vpA/HjbUknAN7J0Sgu+I7JOOGacCX3YC9dj/U6B1RK6auCyjzXK3qkCnleeNe5VkigZvg==
X-Forefront-Antispam-Report: CIP:63.35.35.123; CTRY:IE; LANG:en; SCL:1; SRV:; IPV:CAL; SFV:NSPM; H:64aa7808-outbound-1.mta.getcheckrecipient.com; PTR:ec2-63-35-35-123.eu-west-1.compute.amazonaws.com; CAT:NONE; SFS:(13230031)(82310400014)(1800799015)(36860700004)(376005); DIR:OUT; SFP:1101;
X-OriginatorOrg: arm.com
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 19 Mar 2024 12:46:41.7283 (UTC)
X-MS-Exchange-CrossTenant-Network-Message-Id: fbdcb663-0b55-4b70-7c84-08dc4812a06d
X-MS-Exchange-CrossTenant-Id: f34e5979-57d9-4aaa-ad4d-b122a662184d
X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=f34e5979-57d9-4aaa-ad4d-b122a662184d; Ip=[63.35.35.123]; Helo=[64aa7808-outbound-1.mta.getcheckrecipient.com]
X-MS-Exchange-CrossTenant-AuthSource: AM4PEPF00027A61.eurprd04.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Anonymous
X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem
X-MS-Exchange-Transport-CrossTenantHeadersStamped: GVXPR08MB10687
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/6xeBq2x3iMTZwaqEgYFjcdcCqIk>
Subject: Re: [Rats] Follow-up CoRIM: Horn clauses
X-BeenThere: rats@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Remote ATtestation procedureS <rats.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/rats>, <mailto:rats-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/rats/>
List-Post: <mailto:rats@ietf.org>
List-Help: <mailto:rats-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/rats>, <mailto:rats-request@ietf.org?subject=subscribe>
X-List-Received-Date: Tue, 19 Mar 2024 12:46:49 -0000

Hi Usama,

Some of the linked github issues where the discussions happened is given below:

https://github.com/ietf-rats-wg/draft-ietf-rats-corim/issues/197

https://github.com/ietf-rats-wg/draft-ietf-rats-corim/issues/142

Feel free to join CoRIM Meetings, I have forwarded you the invite.

Regards,
Yogesh

-----Original Message-----
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
Sent: Tuesday, March 19, 2024 12:05 PM
To: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
Cc: rats@ietf.org
Subject: Re: [Rats] Follow-up CoRIM: Horn clauses

Hi Yogesh,

Thanks. Could you point me to the recording and minutes of the relevant CoRIM team meeting where it was discussed?

Usama

On 19.03.24 12:53, Yogesh Deshpande wrote:
> Hello Usama,
>
> This was only discussed recently in one of our CoRIM team meetings(has just been initiated), hence you do not find any update on the same in any of the IETF drafts.
>
> In the course of time, as part of CoRIM Verifier simplification
> activity, concepts from this presentation will make its space into the draft.
>
> Regards,
> Yogesh Deshpande
>
> -----Original Message-----
> From: RATS <rats-bounces@ietf.org> On Behalf Of Muhammad Usama Sardar
> Sent: Tuesday, March 19, 2024 11:43 AM
> To: rats@ietf.org
> Subject: [Rats] Follow-up CoRIM: Horn clauses
>
> Dear Ned and CoRIM team,
>
> Horn clauses [1, slide 6] were mentioned yesterday in the meeting.
> Surprisingly, I don't see any relevant discussion in any of the two relevant drafts [2,3]. Where can I find more details about how the Horn clauses are generated for any of these drafts? What are the assumptions/facts? etc.
>
> Thanks,
>
> Usama
>
> [1]
> https://datatracker.ietf.org/meeting/119/materials/slides-119-rats-att
> estation-verifier-theory-of-operation
>
> [2] https://datatracker.ietf.org/doc/draft-ietf-rats-corim/
>
> [3]
> https://datatracker.ietf.org/doc/draft-cds-rats-intel-corim-profile/
>
> _______________________________________________
> RATS mailing list
> RATS@ietf.org
> https://www.ietf.org/mailman/listinfo/rats
> IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.

v2.23.0 | Report a Bug | By Email