[118attendees] Request for sponsors
Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Fri, 17 November 2023 16:32 UTC
Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: 118attendees@ietfa.amsl.com
Delivered-To: 118attendees@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 5DB8BC15155B for <118attendees@ietfa.amsl.com>; Fri, 17 Nov 2023 08:32:39 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.396
X-Spam-Level:
X-Spam-Status: No, score=-4.396 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, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, 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 T9AT0VLIJ6hO for <118attendees@ietfa.amsl.com>; Fri, 17 Nov 2023 08:32:34 -0800 (PST)
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 6A411C15153F for <118attendees@ietf.org>; Fri, 17 Nov 2023 08:32:34 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=To:Subject:From:MIME-Version:Date:Message-ID: Content-Type:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=RzJ/Tv3+sbqkXlHX5qwnRfzLJKxin5GkVVbXMsKuqco=; b=YhRmwwg0hHHW+ojlZ263BZ6ShQ 4dV8qVk2DOpnrw9cbY5I66Mt1vGV23GXpEESZlZe2kmy9JVW63nkdEyRQT9AD1feEnCfiM32GMuU5 eM7ywq15E7pFZ3dNw20YMYKUSV7GaYHovdptvPn8Jy7u1/hGoNlwrc7VO5ns8HieqSR2EctjDQ+Qg k7Saml2BwSq5+xlAuGe7wTQU87quIwDIY0OzJqiaDqqnP/bZCDaW8VdNOo2MOdC3E+IhPwGzBH/MU 7DcmIgnepBtfoShIhwJCaMtYrrQz5kEB2AyztjPpmE2cxVG0vlFwIlnvLjaa+qHKOtKEp6uzmWeZF tSqUNRlQ==;
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 1r41lf-00A8xo-9E for 118attendees@ietf.org; Fri, 17 Nov 2023 17:32:32 +0100
Received: from [10.70.3.25] (194.95.143.137) 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; Fri, 17 Nov 2023 17:31:04 +0100
Content-Type: multipart/alternative; boundary="------------UqFlJl1edOcy8MEYfz6kPBtw"
Message-ID: <e14f49ed-a53e-4396-97ce-a5779d6a81eb@tu-dresden.de>
Date: Fri, 17 Nov 2023 17:31:03 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
To: 118attendees@ietf.org
X-ClientProxiedBy: MSX-L314.msx.ad.zih.tu-dresden.de (172.26.34.114) 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/118attendees/rI5Mgp0iqIRugWywJnqfFdZ0lBU>
Subject: [118attendees] Request for sponsors
X-BeenThere: 118attendees@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Mailing list for IETF 118 attendees <118attendees.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/118attendees>, <mailto:118attendees-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/118attendees/>
List-Post: <mailto:118attendees@ietf.org>
List-Help: <mailto:118attendees-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/118attendees>, <mailto:118attendees-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 17 Nov 2023 16:32:39 -0000
Hi all, We have a paper accepted for presentation at a formal methods conference ICFEM (https://formal-analysis.com/icfem/2023/) Unfortunately, my university cannot fund it. TBTL is sponsoring part of the costs and I am writing to ask whether your company could sponsor the remaining (about *1800 Euros*). I will share all receipts for tax return purposes etc. if your company needs it. Paper is at this link: https://www.researchgate.net/publication/375592777_Formal_Specification_and_Verification_of_Architecturally-defined_Attestation_Mechanisms_in_Arm_CCA_and_Intel_TDX The code is completely open-source (Apache-2.0 license <https://github.com/CCC-Attestation/formal-spec-TEE/blob/main/LICENSE>) and available here: https://github.com/CCC-Attestation/formal-spec-TEE. Like all our previous sponsors, we will acknowledge the funding support: * at my website https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar * at project repo https://github.com/CCC-Attestation/formal-spec-TEE * at LinkedIn * on first slide at the beginning of my talk Looking forward to hearing from you! Best Regards, Muhammad Usama Sardar Research Associate TU Dresden
- [118attendees] Request for sponsors Muhammad Usama Sardar