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

"Tschofenig, Hannes" <hannes.tschofenig@siemens.com> Mon, 29 April 2024 11:45 UTC

Return-Path: <hannes.tschofenig@siemens.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 CABE3C169415 for <rats@ietfa.amsl.com>; Mon, 29 Apr 2024 04:45:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.096
X-Spam-Level:
X-Spam-Status: No, score=-2.096 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_BLOCKED=0.001, RCVD_IN_MSPIKE_H2=-0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_NONE=0.001, URIBL_BLOCKED=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 (2048-bit key) header.d=siemens.com
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 yIRmmAqY-s67 for <rats@ietfa.amsl.com>; Mon, 29 Apr 2024 04:45:23 -0700 (PDT)
Received: from EUR05-VI1-obe.outbound.protection.outlook.com (mail-vi1eur05on2065.outbound.protection.outlook.com [40.107.21.65]) (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 39FC3C151524 for <rats@ietf.org>; Mon, 29 Apr 2024 04:45:23 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=nondS2kfkIrZpN2yBmqClj7a/cWt2OmoCUwxZB/BTMiUipExXKJPn03FAu5LvT8/UsZZEDzMxeA48xeyD1cTUKJuxh/aZu0ZmxC5am/GNRntzRsrZ7OXf84vxVw/lyI0UayOQGCJKD0oBg/4B50EgeJ+arf+kp4DEtMYMCz0Xb2cUATCRq7yGr08gqmHrKYDtYkfTBR6F9B83KB1mBEsi2NCDy4T4MHCK2FDkV71EiDih45+iV4qK4Xbmfu57i9ilKb3L+q/qhhw8FnBLlP+YaZUkEYxsxtXPRj3r10/MrYazJ7STtvvdd51d0HJXhIpOWzFijJuaHN30kzMkwbW7Q==
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=PrcZkD+4Mj6McOnj7YpeWIL2PQgxoPHl98jFygG0Nwo=; b=GqkHx9K1fbjHowXEKS+bG4TOv1BR7w579gAfQkBOOU7ROZm4bd1HZXTfX8HeGOk0JqCKaJ5VaYIFRXd+IuJ5RLNC/JvZGSk7vftACCNxMAyKLeqiwx0EdJAJIUDIRSjw7XNVnjRcTdvLGjLUIppfuzaa4I4nomi5OdOnQT9V30u35Ja1HugpjqZihGLdmcoJEyjr2Uu6jCcl3SlJcJm841VUTQ05ypaAzYef0bnWZyGDWNu6k1KzaSHDYfgu9B48OdHg1UqDhI7lemz5wgzK1MawTckq/9/giHZ9kTL2GKOrbQdkAaqn61Ya/9IlcpcFgOGa27su//3idRR9z7gimg==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=siemens.com; dmarc=pass action=none header.from=siemens.com; dkim=pass header.d=siemens.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=siemens.com; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=PrcZkD+4Mj6McOnj7YpeWIL2PQgxoPHl98jFygG0Nwo=; b=o+nVpxaBh7w+kZvy9D8CS4cnAJBD7DI6aKlqrKxwHiXlWNy2mNoOM4rbHG+HqCkT075Nkts7tLHj122EbXOKzVzqOt9qpJ3G5ubwVhhRIaW6GaRCDPtLI6V2jnGY0Kpj1I72nTTTtFGyOL2y0rqHYZEcp20ILMTYwSItvnWFKfoZTWKzD65zDhQ9Dl1uqi891FfqIlHon0ezCFdSHA8A72fqK660hmBkS8FKPG9lqxuxVshIxvthGQ5HffhXp+XRVm5l1hinQba1+t/lvg1Ful5O19JxmiTddjgSn5ZAEriJ5nkPEVY15EW+LZtrvqParnX/xZ2gDYDItqTdHKoQwA==
Received: from AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:20b:5ab::22) by PAXPR10MB7951.EURPRD10.PROD.OUTLOOK.COM (2603:10a6:102:23e::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7519.34; Mon, 29 Apr 2024 11:45:19 +0000
Received: from AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM ([fe80::9172:20d1:3f36:a3d]) by AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM ([fe80::9172:20d1:3f36:a3d%3]) with mapi id 15.20.7519.031; Mon, 29 Apr 2024 11:45:19 +0000
From: "Tschofenig, Hannes" <hannes.tschofenig@siemens.com>
To: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>, Henk Birkholz <henk.birkholz@ietf.contact>, "rats@ietf.org" <rats@ietf.org>
CC: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
Thread-Topic: [Rats] Follow-up CoRIM: Horn clauses
Thread-Index: AQHaefKf3nEjPbx2jEqEHnxO/91Nw7E+9EoAgAADBACAAAuuAIAENh4AgBxtBICAAIrvgIAfMGTg
Date: Mon, 29 Apr 2024 11:45:19 +0000
Message-ID: <AS8PR10MB7427C5332941C3D29684726DEE1B2@AS8PR10MB7427.EURPRD10.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> <DB9PR08MB98510CF3E1274B44C28B34808E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com> <35ad3aea-0dfd-42fc-bb58-464f9eaf15da@tu-dresden.de> <ecec6670-939f-66b5-daa3-f179a67490cb@ietf.contact> <7b3648cf-1428-4670-8667-bf28de08206e@tu-dresden.de>
In-Reply-To: <7b3648cf-1428-4670-8667-bf28de08206e@tu-dresden.de>
Accept-Language: de-DE, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
msip_labels: MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_ActionId=4ee038bb-eb85-47d0-af1f-d80d4f51afd2; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_ContentBits=0; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_Enabled=true; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_Method=Standard; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_Name=restricted; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_SetDate=2024-04-29T11:45:01Z; MSIP_Label_9d258917-277f-42cd-a3cd-14c4e9ee58bc_SiteId=38ae3bcd-9579-4fd4-adda-b42e1495d55a;
authentication-results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=siemens.com;
x-ms-publictraffictype: Email
x-ms-traffictypediagnostic: AS8PR10MB7427:EE_|PAXPR10MB7951:EE_
x-ms-office365-filtering-correlation-id: 829a51d1-786d-4c64-ea9d-08dc6841d8b7
x-ms-exchange-senderadcheck: 1
x-ms-exchange-antispam-relay: 0
x-microsoft-antispam: BCL:0; ARA:13230031|376005|1800799015|366007|38070700009;
x-microsoft-antispam-message-info: snZtv9hZ2ieZglgbgO8ilhfyq+JjrXlSio+DDRJRWYZRFvA4vcfX0oRS13HjKT9tRffRWpyCjWeoYQoNp7pdxNJZyPaymcdrtAgdxFyJesiBqH2GaqmWmO7M4hrhE9g0/abuWXNviybmvnNAnxHQJHBtHD7wbVC+u1z0ljdNBwYZPico770o27CSJ4eTgqvl0SPlbLb7pKUSP9i4I2z5jpZaP3USUsdokhC42/6b70SUv04NMnFExBGg1UD6UxTSAXzlmQaGy1wlfgQD3Q3/bKNxXN12klnnrXzy+M6QipB0TfHfFSMtfUQFgNWfPo/XMtpTZIoXJRdxTeVJ2USRgn3WemcsX4v1PUhOt3Hl7RvMe8/ns4NUH8ytvrcea8kpSpCJUnV3Puw+GHbCsBsfN4lINoRectsxLKX6/rW+1cYbeaJNPIJ7roRVsdSIh9IJNKMYLsuLoEZ701qdu8Omr+yi3R8xjRrkpns1DkhVIWUaY4O7wW3sch9SgbTTtB5kJ537vumjqex7eIR2RyJb+03IQlRgk5zECEU5siD15iHZXTyuYFMRx+1gYNK4cUKygpyN8WtdqeGY01soGn3LvfdhxBnuvLqnjDNd2f5aTCG76IH2IMx5HrSfaBVigK4yZ7a4r0YUFNI3aWgXP06X2v2qAy6tyVUIP5KfP0ISUOR11A/OZ0LCPi3WtuWoB4wVwCkt0TneCDUzUiARbKQepZrPVyGp9Vsuf64eTdsucErVhyOHHYzWqHR5WFaalUiyUua0PXC5emnyOwSHEcYAUFFAyFbnRXf3Zg+fU4e5Rw+p6LERtgvaGhLHKydn0M4wNy/HlZhhlM9qTmUMM+471+ILvgyTYIfr+xL7ylklTsnM2PMtjCBiIqPLbp9rMeHfytgILfqu4RVirigWF3OtAPaZw/svGOnFwIDVJoDtaAKov7FfxWxid8cguXMR6tItgVN1yFIFh0uqreIRUH7gEfp8b9l+DSsGOZisLC5km2qfJKtV3yTqZJM+x3iDcSNKUUzrNOPZn9W08xJtCRq9ZAu9+wdHCfxbOVK6nRR3r0fdW1PZjDqeSu8EyT2mgdjR+gkWblYWeRju+xC/IoPzwLR0T2QwVZD3kZVsyUULDrXoetfg4/ELDl6l/0xgxVx1G7wZg3//WTivqXVlZbI0NRznQJcAyZdCFV6eEvjTpcZvyHVsEsmrIuLdJWblAUFnyFWoYwqP2pY+5fY+/u/gb/f3O4dCQQs6G3GncDdEU8Vq76ZtvbbfK/JotPPYwDp80e2UyOA/R1m8B+eU2vZ70CCMMHki21DyxyeKXPaAOUXZWZMTVTSyMmc9g0eLohLcISN8yI6D0+iFVPu5VlbHdg==
x-forefront-antispam-report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:; IPV:NLI; SFV:NSPM; H:AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM; PTR:; CAT:NONE; SFS:(13230031)(376005)(1800799015)(366007)(38070700009); DIR:OUT; SFP:1101;
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0: 7dEO00p/+SXH7xoFYr0mOj8l8sjCONQab8SnwE7bI62eyebzhx0WdUSW3mqZzFj/EA9pX1tkH9d8MMEIYbtY+yqP6L6BlyhzBAKN+HI/xGTf6IT5UcsgzesL19x2e4KXmbpURWCA8rNI51nvee7NIYPyKXwgLqu/stpRFndCc0ZVoCnN9L5T2QCstbNRtySaKWH6LgysOdQAM8dFASzq5IjQczrkfGHky5XDvpV62Bnj3pfosGIQIVy37aYtz0m5D6ta4gQQDELdwRVsJqSvZx14X/+p8o4MkBbRTpfe8is418wm0mIv/iTYWeUv+uBrVHRwlcIr+YXLj9Zle82njnegqmUjerL/pmrgQiJl6AfD3tJ8HitIIKI+7633qt4MuBIV1jJWyTjcJ9tW5Aeq6w8gAPnIJXSxRCbcWGGeJlxAVFaiswXZ0iRRk/jbNJVrYWavzpZ5BizAtDzEMEIuej6Kf0+G8yUlDf6nWaCkZd9IaSOE8lLr8qKB3Wya3QQ9Huuzt9UGg8Mo+3HadvAsm2BxOsMzgxfGvaJB3V0EZlCh3B8mJu6Tr1DMj22PMPyHexW95e/FmU2gkophp/wpYa+yuD6DZwObw4ov00zP13UyuSlOi7pijCRNjBAiH90Thk7qMhLS31O3/2gzRjO3GaC65hSl6XvpzFA35Rygr1GzWnx30UPGbvQXSIxP04uejJ/lHQuqKoHcLQHaLBmoYcnP5No98h6Oo0/oVdGctnc83hVwyzIkQLJDDZnMzT/3Y0bh2zi7PzqqMhC+WY73AuvJt//7cf/onXl8uhYT85QVirn9hiPsC0ywGExm6MFp4dsRxTifq+yCK9FfVPBXl7hyduaG+eOJEPTdaC5Uiodz2fWR3JQE4g2/3+1gCHhTfZ9yd4J/xuaFteDyXIrjKKmZHXP4gOcNrIqxZnVNGU6nFvB1ODoX7haF8xHbQXfrZrPTzc20liihhbWB9SO+RSdFMck7NhaTrzIPdQ6G+/jXRCJphc47RBS/YciZpIO44nt/YCgbGbcO3OFEBZ3v4dFq/28U5VDc5hDA2RUkbL7hOEjEI/Vz3kFvbxzEIZmuMo4ZJb6mOcqtjBgmJwF5k9l7UPR6UWgoFW2RUufKADixl/ATz3FnGymw6taDyYYwim/rmW4o5Hy0ccpEU9opLZAD+AqICpdXaoe/gD6YeHNYkOKX8x1gO+FdwtLnRQtF2uqA4nomOpZKb0WTHnCd4vPRiqB2a/ETHAD7b52hNRtAQLKjA3oPEd7KuRnOQ9qxEK085Iap+2msFSzgVtpPGsbxYLyytuJD4YE3+RNwXi6LT8yGXFecc95vflagVc65Aiz9fzh316o2ckX21rixzRYISc69KXl3haZleBF+JkpEHaTB4l9MxMfrRTJRXb+Wb+RdEXQ/7xWMt3poBz9EjrXx+kkfA44EW3MF6yWG8p5gLCGi+/PLwZoQHEGJFQFmxNRZg90WAAqm6N7Lm+2dEgDljUNQVtSUdonn7RnvapzHTcuIpL6UrhS4QICxeaPR2NG0QkLigoPSlKAchEQY7V/Fxs/1da21KhImyOQlEwVrKkkMoNweqCHxlUAjUbFeEe8jYC8VSsi7QNwF3u1fRg==
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: siemens.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: AS8PR10MB7427.EURPRD10.PROD.OUTLOOK.COM
X-MS-Exchange-CrossTenant-Network-Message-Id: 829a51d1-786d-4c64-ea9d-08dc6841d8b7
X-MS-Exchange-CrossTenant-originalarrivaltime: 29 Apr 2024 11:45:19.7804 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 38ae3bcd-9579-4fd4-adda-b42e1495d55a
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-userprincipalname: ze6chVh3JVDlK+7RQ/tuuRMwDOuibghaISvS5SW+Gggr7Gqkzg1zHu4a2iq9fxexk/ACLWIxrSKxdJielrK1P1anEjKGfXGx11ZRyBAxMLs=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PAXPR10MB7951
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/QB2kLKU-rg4pMSC7Vx70aS_d-QA>
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: Mon, 29 Apr 2024 11:45:28 -0000

Was there any progress on answering the question from Usama?

Ciao
Hannes

-----Original Message-----
From: RATS <rats-bounces@ietf.org> On Behalf Of Muhammad Usama Sardar
Sent: Tuesday, April 9, 2024 5:28 PM
To: Henk Birkholz <henk.birkholz@ietf.contact>; rats@ietf.org
Cc: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
Subject: Re: [Rats] Follow-up CoRIM: Horn clauses

Hi Henk,

On 09.04.24 09:10, Henk Birkholz wrote:
> Hi Usama,
>
> sorry for my latency, I was PTO in Australia for a while after IETF
> 119. Ned is currently also PTO and was the presenter.
>
> Horn Clauses must have been a topic of CoRIM editors meetings when I
> was PTO.
My personal understanding so far is that no editor other than Ned has even any vague clue about how the Horn clause stuff is relevant to the draft, how the Horn clauses are generated etc.
> There obviously is no substantial effect on any I-D text today. There
> is nothing you are missing out on.
There is definitely a lot of stuff going on in these backdoor meetings that I am (as well as the WG is) missing out on, e.g., see my preliminary questions in the thread below.
> Next CoRIM editors meeting occurs again this Wed.
>
Does Ned still manage to join these meetings? If not, could one of the
editors confirm that he has answers to at least some of my questions? I
think in the open spirit of IETF, joining these meetings should NOT be
the ONLY way to get information.
>> https://mailarchive.ietf.org/arch/msg/rats/4182gmZDaWbPcNzoC7zRRUYQ0eM/
>
> My personal (and pretty much not unbiased) perception is that nobody
> is actively ignoring you,
When I say transparency, I mean summarizing the discussions in these
backdoor meetings back to the mailing list. This was already mentioned
more than a couple of months ago, and has nothing to do with "ignoring
me". I presented my related work at HCVS last weekend and I was
interested in discussing this topic also with the Horn clauses experts.
> but rather that a lot of people involved are on PTO. Please give Ned
> the time to return, then to put out the dayjob little fires
> everywhere, and then come back to this topic.
>
Do you know when Ned finishes PTO stuff?

> Does that sound fine to you?
>
depends how long is the PTO...

Best Regards,

Usama

>
> Viele Grüße,
>
> Henk
>
> On 22.03.24 06:05, Muhammad Usama Sardar wrote:
>> None of the two issues pointed below mention Horn clauses. Also, the
>> CoRIM meeting this week was cancelled. Some preliminary questions for
>> better understanding:
>>
>>   * How are "Horn clauses" relevant to the CoRIM draft? I don't fully
>>     understand the link of the CoRIM draft to Horn clauses.
>>   * How are the Horn clauses generated?
>>   * What are the assumptions/facts?
>>   * Which rule engine do you plan to use to analyze the Horn clauses?
>>
>> We have some experience with Horn clauses, which will likely be
>> helpful here, e.g., I have experience with ProVerif which is based on
>> Horn clauses, and my colleagues have developed "Nemo" tool [1].
>>
>> Since CoRIM is a WG document, could the editors and contributors
>> please make a good-will effort to summarize the discussions on these
>> meetings to the WG? Interested WG members would then get a chance
>> to contribute and/or comment. This was already pointed out a couple
>> of months ago [2], but I don't see any CoRIM update provided to the
>> mailing list since then. I very much like the updates from PKIX
>> attestation, e.g., [3].
>>
>> [1] https://iccl.inf.tu-dresden.de/web/Inproceedings3354
>>
>> [2]
>> https://mailarchive.ietf.org/arch/msg/rats/OwTI-PfFpLXHKf3IhoNpayv3m10/
>>
>> [3]
>> https://mailarchive.ietf.org/arch/msg/rats/8X3N9e7-phCjDwGacWJrDoapeRE/
>>
>> Thanks,
>>
>> Usama
>>
>> On 19.03.24 13:46, Yogesh Deshpande wrote:
>>> 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

_______________________________________________
RATS mailing list
RATS@ietf.org
https://www.ietf.org/mailman/listinfo/rats