[Ufmrg] Re: [Seat] Artifacts for formal proofs of insecurity of RA-TLS and draft-fossati-tls-attestation[Ufmrg] Re: [Seat] Artifacts for formal proofs of insecurity of RA-TLS and draft-fossati-tls-attestation
Muhammad Usama Sardar
2025-12-18
ufmrg
/arch/msg/ufmrg/iGnA7SWWLNi8OqWUJW3nonzgmzY/
3686154
2223668
[Ufmrg] Artifacts for formal proofs of insecurity of RA-TLS and draft-fossati-tls-attestation[Ufmrg] Artifacts for formal proofs of insecurity of RA-TLS and draft-fossati-tls-attestation
Muhammad Usama Sardar
2025-11-28
ufmrg
/arch/msg/ufmrg/ZPCHHpwggpzFUt9NSJsSOU-Acn4/
3679116
2223668
[Ufmrg] Re: Intra-handshake vs. post-handshake attestation[Ufmrg] Re: Intra-handshake vs. post-handshake attestation
Muhammad Usama Sardar
2025-11-27
ufmrg
/arch/msg/ufmrg/drfsmijbDQj4xW2XqjpmOMzvNVk/
3678808
2223470
[Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking![Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking!
Yaron Sheffer
2025-11-26
ufmrg
/arch/msg/ufmrg/PPEs23VoQq7-d7TQ1QEYkkeQU5A/
3678611
2223470
[Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking![Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking!
Paul Wouters
2025-11-26
ufmrg
/arch/msg/ufmrg/NDDHZVtegIK_AEIGbk4MDeoUnl4/
3678580
2223470
[Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking![Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking!
Muhammad Usama Sardar
2025-11-26
ufmrg
/arch/msg/ufmrg/mzXPrncse4cTFawh6EpB6KyezoI/
3678556
2223470
[Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking![Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking!
Paul Wouters
2025-11-26
ufmrg
/arch/msg/ufmrg/o3E668Y6V0QtSohpQb5LAjWj9_c/
3678527
2223470
[Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking![Ufmrg] Re: Titanic of pre-/intra-handshake attestation is sinking!
Muhammad Usama Sardar
2025-11-26
ufmrg
/arch/msg/ufmrg/ZyggKhCgLyjeZgi25bgEijG9sw4/
3678485
2223470
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Marc Petit-Huguenin
2025-11-12
ufmrg
/arch/msg/ufmrg/C4BorsJbymNqZVnZRMSSX-tZI1g/
3672850
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Muhammad Usama Sardar
2025-11-12
ufmrg
/arch/msg/ufmrg/KG9j6bMCx7alrWO_yYt2WP-5pDA/
3672773
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Marc Petit-Huguenin
2025-11-12
ufmrg
/arch/msg/ufmrg/fIqX49CCSsPrKL75oGCOc6M2sdc/
3672762
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Javier Bustos
2025-11-12
ufmrg
/arch/msg/ufmrg/jCrnL0iRysiioL7GaSwWC9oc0WQ/
3672759
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Marc Petit-Huguenin
2025-11-12
ufmrg
/arch/msg/ufmrg/lGLbiD_J2sCBhrVpMJxK51nsdeA/
3672752
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Muhammad Usama Sardar
2025-11-12
ufmrg
/arch/msg/ufmrg/COF5U1y3RZSKYNMoasX_frmCVYo/
3672626
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Stephen Farrell
2025-11-11
ufmrg
/arch/msg/ufmrg/G1K0bq9o53xlp3fTJE7KaNkALcE/
3672509
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Stephen Farrell
2025-11-11
ufmrg
/arch/msg/ufmrg/GlKKszSmsVcoymXoKYLecbYlSKg/
3672506
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Stephen Farrell
2025-11-11
ufmrg
/arch/msg/ufmrg/8Rc6zg6TJaclhhycGNNuTS6poaE/
3672347
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Muhammad Usama Sardar
2025-11-11
ufmrg
/arch/msg/ufmrg/FtC0lJsM7DOlE9_OYG8Sn7dyASA/
3672341
2221226
[Ufmrg] Re: Follow-up of Lowe's weak agreement[Ufmrg] Re: Follow-up of Lowe's weak agreement
Felix Linker
2025-11-11
ufmrg
/arch/msg/ufmrg/S5Xq8-dIuqAzG-TSd0Ij_CpIcPA/
3672333
2221226
[Ufmrg] Follow-up of Lowe's weak agreement[Ufmrg] Follow-up of Lowe's weak agreement
Muhammad Usama Sardar
2025-11-11
ufmrg
/arch/msg/ufmrg/UAmOotuLPVsacoE99cIMGGCnX1I/
3672322
2221226
[Ufmrg] draft minutes from ietf124 session[Ufmrg] draft minutes from ietf124 session
Stephen Farrell
2025-11-04
ufmrg
/arch/msg/ufmrg/6ih4ogbOwtFt6CD7N43nLrNnwsI/
3669129
2220051
[Ufmrg] Re: draft agenda for ufmrg @ ietf124[Ufmrg] Re: draft agenda for ufmrg @ ietf124
Stephen Farrell
2025-11-02
ufmrg
/arch/msg/ufmrg/k8YN7m6TTy6DZXWz5HjXjLKcI4A/
3667690
2218139
[Ufmrg] Re: draft agenda for ufmrg @ ietf124[Ufmrg] Re: draft agenda for ufmrg @ ietf124
Muhammad Usama Sardar
2025-10-26
ufmrg
/arch/msg/ufmrg/SYPBeUpjbc7ROHW-kfntYz-1LUw/
3664445
2218139
[Ufmrg] draft agenda for ufmrg @ ietf124[Ufmrg] draft agenda for ufmrg @ ietf124
Stephen Farrell
2025-10-26
ufmrg
/arch/msg/ufmrg/gg0fUwF9K3uaoqYZDRI_I0LmgE4/
3664427
2218139
[Ufmrg] Re: Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS[Ufmrg] Re: Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS
Muhammad Usama Sardar
2025-10-17
ufmrg
/arch/msg/ufmrg/p_A7CKhiKNNfa3-USbWm2_OtaDA/
3660360
2210087
[Ufmrg] ufmrg - Requested session has been scheduled for IETF 124[Ufmrg] ufmrg - Requested session has been scheduled for IETF 124
"IETF Secretariat"
2025-10-10
ufmrg
/arch/msg/ufmrg/uhO4QsESQf7CCtLhbYnS8FoQl2w/
3656793
2214576
[Ufmrg] Re: [Rats] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS[Ufmrg] Re: [Rats] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS
Muhammad Usama Sardar
2025-10-04
ufmrg
/arch/msg/ufmrg/aA2CDdfCASTgwP-4Sjut02FXarU/
3653887
2210087
[Ufmrg] Re: UFMRG meeting?[Ufmrg] Re: UFMRG meeting?
Muhammad Usama Sardar
2025-09-17
ufmrg
/arch/msg/ufmrg/NT7xtLyLc6cm3JpDslSk7nSO4Vs/
3647349
2210534
[Ufmrg] Re: ufmrg - New Meeting Session Request for IETF 124[Ufmrg] Re: ufmrg - New Meeting Session Request for IETF 124
Stephen Farrell
2025-09-17
ufmrg
/arch/msg/ufmrg/PrYm-52vrZmsKjwyN34d9e2HxE4/
3647309
2210787
[Ufmrg] ufmrg - New Meeting Session Request for IETF 124[Ufmrg] ufmrg - New Meeting Session Request for IETF 124
IETF Meeting Session Request Tool
2025-09-17
ufmrg
/arch/msg/ufmrg/Rnfjk0JQTWwA7qZ_BGpIIwHEyXI/
3647299
2210787
[Ufmrg] Re: UFMRG meeting?[Ufmrg] Re: UFMRG meeting?
Stephen Farrell
2025-09-17
ufmrg
/arch/msg/ufmrg/RJAb60BFzO1IH0TSJKA65Jo4tb8/
3647293
2210534
[Ufmrg] Re: UFMRG meeting?[Ufmrg] Re: UFMRG meeting?
Muhammad Usama Sardar
2025-09-17
ufmrg
/arch/msg/ufmrg/x9UEuL8Db9v7SDEsh7joxatQYbk/
3647265
2210534
[Ufmrg] Re: UFMRG meeting?[Ufmrg] Re: UFMRG meeting?
Stephen Farrell
2025-09-17
ufmrg
/arch/msg/ufmrg/wIzYXA-OZvzCSwMdUsxhY0_FLE0/
3647190
2210534
[Ufmrg] Artificial intelligence for theorem proving[Ufmrg] Artificial intelligence for theorem proving
Gergely Buday
2025-09-17
ufmrg
/arch/msg/ufmrg/pCJ04su79BhEuGLtHPNd4U_Mk9g/
3647158
2210751
[Ufmrg] Re: UFMRG meeting?[Ufmrg] Re: UFMRG meeting?
Felix Linker
2025-09-17
ufmrg
/arch/msg/ufmrg/BDrdLGCpdV-O0PKi1UKuFFkJDdI/
3647074
2210534
[Ufmrg] Re: [seal] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS[Ufmrg] Re: [seal] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS
Muhammad Usama Sardar
2025-09-16
ufmrg
/arch/msg/ufmrg/6DWGVNFTjuSGiqNURtH8mpBQFsg/
3646751
2210087
[Ufmrg] Re: [seal] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS[Ufmrg] Re: [seal] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS
Henk Birkholz
2025-09-16
ufmrg
/arch/msg/ufmrg/E4YrLvltJiLSKTdYg2SxZ6zN1Hs/
3646631
2210087
[Ufmrg] UFMRG meeting?[Ufmrg] UFMRG meeting?
Muhammad Usama Sardar
2025-09-16
ufmrg
/arch/msg/ufmrg/b23-6HERJkzwdUgGiJvrdTK_IH4/
3646563
2210534
[Ufmrg] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS[Ufmrg] Re: [TLS] Requesting feedback on security goals and welcoming folks to contribute to formal analysis of attested TLS
Muhammad Usama Sardar
2025-09-13
ufmrg
/arch/msg/ufmrg/kLnc5En7wKa8jbw1anmFmr-VT9c/
3645709
2210087
[Ufmrg] Re: [TLS] Consensus call for security goals and welcoming folks to join Design Team for formal analysis of attested TLS[Ufmrg] Re: [TLS] Consensus call for security goals and welcoming folks to join Design Team for formal analysis of attested TLS
Eric Rescorla
2025-09-13
ufmrg
/arch/msg/ufmrg/TFhMJSDh2ntP1A-HtnXZdNeBaCQ/
3645672
2210087