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

Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Tue, 19 March 2024 12:05 UTC

Return-Path: <muhammad_usama.sardar@tu-dresden.de>
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 1903FC14F68C for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 05:05:12 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.407
X-Spam-Level:
X-Spam-Status: No, score=-4.407 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_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, 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=tu-dresden.de
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 nnoiaXEI7swd for <rats@ietfa.amsl.com>; Tue, 19 Mar 2024 05:05:07 -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 RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id AC1E4C14F60C for <rats@ietf.org>; Tue, 19 Mar 2024 05:04:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Transfer-Encoding:Content-Type: In-Reply-To:From:CC:References:To:Subject:MIME-Version:Date:Message-ID:Sender :Reply-To: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=U+I2SU460lR8oRwaaHA1ajiuF3y2witrY/vRZLNOFc8=; b=HJrqT4eLly3PHUd1lwNoZfMXWL pPulaW1A1dzJleRaX0o8y5RjzcJLsZX/Srpz7jutqgd8p3Umx5Xs4waz6nJtmI5YVQEq7tr/AVl90 0bI55MBpJ6i8s+bPcaAPJhZtT4HIX1fVIidJzsmqWlhDgU2qtdiV+3LgM2SkpGoM1RwO9TLqCP8hj vcaJOOa3CHquWBBCmgw63Y277KEcZL5nx+SCzg6dmpGaFB0x48jcLeM6cNrtQ7BkrmvLMfXj0gT/i La6/SsElOMqgcgeJO0+lSNjJY9xXTQ+UeFT/CMAf06B4OGNetqIfCziBFxVIpol1xtgZQrXOCAUBv MTNUZSEA==;
Received: from [172.26.35.114] (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.94.2) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1rmYCn-005Fhq-J8; Tue, 19 Mar 2024 13:04:34 +0100
Received: from [10.100.18.7] (141.30.56.199) by MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.35; Tue, 19 Mar 2024 13:04:32 +0100
Message-ID: <a28edcd7-6d82-4500-a42e-f76be30babf3@tu-dresden.de>
Date: Tue, 19 Mar 2024 13:04:32 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: Yogesh Deshpande <Yogesh.Deshpande@arm.com>
References: <1f4c5bad-857a-490c-b773-c8754d45489d@tu-dresden.de> <DB9PR08MB98518B5A64F79788CBD4600F8E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com>
Content-Language: en-US
CC: "rats@ietf.org" <rats@ietf.org>
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
In-Reply-To: <DB9PR08MB98518B5A64F79788CBD4600F8E2C2@DB9PR08MB9851.eurprd08.prod.outlook.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 7bit
X-ClientProxiedBy: MSX-L312.msx.ad.zih.tu-dresden.de (172.26.34.112) To MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114)
X-TUD-Virus-Scanned: mailout3.zih.tu-dresden.de
Archived-At: <https://mailarchive.ietf.org/arch/msg/rats/XkW_0IRFrcTlPP2nQVBQrEy7H7E>
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:05:12 -0000

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-attestation-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.