[Ufmrg] Re: EarlyAttestationBleed: Three Critical-severity Vulnerabilities of CVSS ≥ 9.0 in Confidential Computing[Ufmrg] Re: EarlyAttestationBleed: Three Critical-severity Vulnerabilities of CVSS ≥ 9.0 in Confidential Computing
Songbo Bu
2026-09-22
ufmrg
/arch/msg/ufmrg/mf_CtbtSDHPz3uMHRXele2vwYr8/
3826355
2283452
[Ufmrg] EarlyAttestationBleed: Three Critical-severity Vulnerabilities of CVSS ≥ 9.0 in Confidential Computing[Ufmrg] EarlyAttestationBleed: Three Critical-severity Vulnerabilities of CVSS ≥ 9.0 in Confidential Computing
Muhammad Usama Sardar
2026-09-21
ufmrg
/arch/msg/ufmrg/ZQKdp07P4UeTushAC1q9eBBtp0s/
3825992
2283452
[Ufmrg] A Verifpal milestone: TLS 1.3 modeled and verified with concurrent sessions and staged compromise[Ufmrg] A Verifpal milestone: TLS 1.3 modeled and verified with concurrent sessions and staged compromise
Nadim Kobeissi
2026-09-07
ufmrg
/arch/msg/ufmrg/AmqTd58KwC6ISYyBiJ2pad9h8fE/
3818988
2279348
[Ufmrg] Proposal: The Verified Internet[Ufmrg] Proposal: The Verified Internet
Hans-Dieter Hiep
2026-08-29
ufmrg
/arch/msg/ufmrg/BycOAPGvzngV_MkcvYeBD9taGmI/
3815397
2277634
[Ufmrg] Request for feedback: Formalizing an Execution-Finality property for AI Machines and autonomous systems[Ufmrg] Request for feedback: Formalizing an Execution-Finality property for AI Machines and autonomous systems
Sangam Das
2026-08-25
ufmrg
/arch/msg/ufmrg/w9gNsRVEzui-s1SCBkApoKRRhFU/
3813417
2276803
[Ufmrg] Verifpal, usable protocol modeling software, reaches 1.0[Ufmrg] Verifpal, usable protocol modeling software, reaches 1.0
Nadim Kobeissi
2026-08-17
ufmrg
/arch/msg/ufmrg/0UiA6TlQchm5jgVeTvWQDPQpSJ8/
3791405
2270887
[Ufmrg] Re: Bugs in theorem prover(s)[Ufmrg] Re: Bugs in theorem prover(s)
Nadim Kobeissi
2026-08-12
ufmrg
/arch/msg/ufmrg/c_lAGsfCX_wIA2broOn2HGNF6Es/
3789623
2267485
[Ufmrg] Re: Bugs in theorem prover(s)[Ufmrg] Re: Bugs in theorem prover(s)
Felix Linker
2026-08-12
ufmrg
/arch/msg/ufmrg/gDrBz1dDzsO3jNAZH8zWSlFo8UM/
3789620
2267485
[Ufmrg] Re: Bugs in theorem prover(s)[Ufmrg] Re: Bugs in theorem prover(s)
Nadim Kobeissi
2026-08-12
ufmrg
/arch/msg/ufmrg/Hz46NWDbw8GPiNgt0mdreWmFt18/
3789614
2267485
[Ufmrg] Re: Bugs in theorem prover(s)[Ufmrg] Re: Bugs in theorem prover(s)
Felix Linker
2026-08-12
ufmrg
/arch/msg/ufmrg/f2pQytigQs-Kl1wXD5NMC2CeRwQ/
3789613
2267485
[Ufmrg] Re: Bugs in theorem prover(s)[Ufmrg] Re: Bugs in theorem prover(s)
Nadim Kobeissi
2026-08-11
ufmrg
/arch/msg/ufmrg/djaM5sxkLYGyYxk-IuEugeXaijQ/
3788983
2267485
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)
Salz, Rich
2026-08-03
ufmrg
/arch/msg/ufmrg/1YUa_I8yZdi0GMlkTsTGbWJZqA4/
3785404
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)
Chengxin Huang
2026-08-03
ufmrg
/arch/msg/ufmrg/EBK8NiaihldTQDxCAmKQ3mVOh3A/
3785402
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)
Song Haowen
2026-08-03
ufmrg
/arch/msg/ufmrg/HEvGhYyekd6y9o8Ldt8a54T8IeU/
3785359
2259397
[Ufmrg] Bugs in theorem prover(s)[Ufmrg] Bugs in theorem prover(s)
Salz, Rich
2026-07-29
ufmrg
/arch/msg/ufmrg/xGh5ZrqnZriH1RfKw5F616-tENg/
3783625
2267485
[Ufmrg] Re: [Seat] Re: Re: Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Re: Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Muhammad Usama Sardar
2026-07-28
ufmrg
/arch/msg/ufmrg/yLmRE_CXP-WMmZp3FIXlgL3RPu0/
3783236
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)
Muhammad Usama Sardar
2026-07-28
ufmrg
/arch/msg/ufmrg/TOGeRLZZ_fMooLyAn4YqisZvbjU/
3783234
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Salz, Rich
2026-07-28
ufmrg
/arch/msg/ufmrg/zOXgJSq8rQnbE1o8HEQo4AGaziw/
3783211
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-33697)
Nathanael Ritz
2026-07-28
ufmrg
/arch/msg/ufmrg/Iv4vGTStFDgchtxoMdxvzEQAZio/
3783190
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Muhammad Usama Sardar
2026-07-28
ufmrg
/arch/msg/ufmrg/6Z1zBoUI5fIZCxRFNWOZOaaf4Q4/
3783113
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Nathanael Ritz
2026-07-28
ufmrg
/arch/msg/ufmrg/RjU26G5Q1xtJ_s5tJxSty_xGm14/
3783074
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Muhammad Usama Sardar
2026-07-27
ufmrg
/arch/msg/ufmrg/0qS8Uop8Z-HhvZQQ_kmoIiV0Mus/
3782718
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Markus Rudy
2026-07-27
ufmrg
/arch/msg/ufmrg/dHKP1HXSFY3ve_WQlkaC_nOUch4/
3782632
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Muhammad Usama Sardar
2026-07-27
ufmrg
/arch/msg/ufmrg/5nl8Xt20l62na5Ld7_Gn43vaq7Y/
3782619
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Nathanael Ritz
2026-07-27
ufmrg
/arch/msg/ufmrg/CDK6POvwh8alcGGmr7QJaEYDfGw/
3782529
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Markus Rudy
2026-07-27
ufmrg
/arch/msg/ufmrg/4UOiIhSkE7CS1aP_Id_QWVPCy-k/
3782448
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Muhammad Usama Sardar
2026-07-26
ufmrg
/arch/msg/ufmrg/yZuUEcKPGZCYfIFaHzThYjkUNeI/
3782330
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Markus Rudy
2026-07-26
ufmrg
/arch/msg/ufmrg/8H0_6nSvTBYUk6j50MpjKa4BxgM/
3782294
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Muhammad Usama Sardar
2026-07-26
ufmrg
/arch/msg/ufmrg/ks4-PqJb6q1stiL5ykBNy2XMK1M/
3782287
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in attested TLS (CVE-2026-3369)
Markus Rudy
2026-07-26
ufmrg
/arch/msg/ufmrg/mcdiE2Z1FWQmUNQeET6WSLHZRZY/
3782241
2259397
[Ufmrg] Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
rachid bouziane
2026-07-22
ufmrg
/arch/msg/ufmrg/29xFZX5C4oSGkpZAvXT_7YLW2Vc/
3779987
2266081
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
rachid bouziane
2026-07-22
ufmrg
/arch/msg/ufmrg/Hga5HpEiwIXWVvlTv0a0RjBdrY4/
3779939
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Давид Nunhausen
2026-07-17
ufmrg
/arch/msg/ufmrg/ZRhR7o1HrWxfGDfgRJMR65RBkDE/
3777134
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
camilo ayerbe
2026-07-09
ufmrg
/arch/msg/ufmrg/h8XJ2lgPkoqyMKxObQ0WSPq7yio/
3773284
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Mark Novak
2026-07-08
ufmrg
/arch/msg/ufmrg/vvOjwYi6f6_GQv9ErDC6jVcR0Jo/
3772992
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Markus Rudy
2026-07-08
ufmrg
/arch/msg/ufmrg/2PmNbg497eQ--l5VNxxc96kNeQ4/
3772783
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Mark Novak
2026-07-08
ufmrg
/arch/msg/ufmrg/f4KuhuSAGr6rE0dG9lvw1M9uuUY/
3772764
2259397
[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Song Haowen
2026-07-07
ufmrg
/arch/msg/ufmrg/9DV85l6nvxnyg-6hNfY_CUbzvUA/
3772069
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Chengxin Huang
2026-07-07
ufmrg
/arch/msg/ufmrg/XOTmPY_AnDQYeOjaQZDqij2ByT4/
3772008
2259397
[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)[Ufmrg] Re: [Seat] Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
Steve
2026-07-06
ufmrg
/arch/msg/ufmrg/IUdy_jFl2hMMRPHPPJrkt7F1Vh8/
3770841
2259397