[Ufmrg] Re: Call for Agenda Items - IETF 120[Ufmrg] Re: Call for Agenda Items - IETF 120
Muhammad Usama Sardar
2024-05-29
ufmrg
/arch/msg/ufmrg/cpYrRS_a6_7MlJEw3QB3eMbhQ84/
3465476
2136138
[Ufmrg] Re: Call for Agenda Items - IETF 120[Ufmrg] Re: Call for Agenda Items - IETF 120
Marc Petit-Huguenin
2024-05-29
ufmrg
/arch/msg/ufmrg/GuBvwOca0XAzYhdkbVC2ae7_HHM/
3465458
2136138
[Ufmrg] Call for Agenda Items - IETF 120[Ufmrg] Call for Agenda Items - IETF 120
Jonathan Hoyland
2024-05-29
ufmrg
/arch/msg/ufmrg/0vma-EtAFZXCqftOMzrK5BijiXo/
3465444
2136138
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Stephen Farrell
2024-05-17
ufmrg
/arch/msg/ufmrg/ksyjEjY7fpAW0TuSWeRm5JHayl8/
3460831
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Jonathan Hoyland
2024-05-17
ufmrg
/arch/msg/ufmrg/uDZmIKZOYgi4EHWeiW4xL1Bp8ak/
3460827
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Robert Kuennemann
2024-05-17
ufmrg
/arch/msg/ufmrg/fYYOeMve-dXVoP3tW2pGKWVinDQ/
3460796
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Muhammad Usama Sardar
2024-05-17
ufmrg
/arch/msg/ufmrg/QGGS6B2KxnPBrbCbRBeHkDsm3-Y/
3460739
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Marc Petit-Huguenin
2024-05-14
ufmrg
/arch/msg/ufmrg/4ULB71R0aQfxmVnn35nFD2Xas9Y/
3459202
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Felix Linker
2024-05-14
ufmrg
/arch/msg/ufmrg/HAUqHi0bEsyjvEvj-_ojAMQvLfs/
3459182
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Muhammad Usama Sardar
2024-05-14
ufmrg
/arch/msg/ufmrg/DHhlCY_k2y0UzuKhq4o8Q9IJHUE/
3459143
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Felix Linker
2024-05-14
ufmrg
/arch/msg/ufmrg/u_h4BB-UA-k2p90V7nJtuatH_H4/
3459084
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Muhammad Usama Sardar
2024-05-14
ufmrg
/arch/msg/ufmrg/lSYXB6ciC7Pxl_KG-VxsX21UPKY/
3459078
2133622
[Ufmrg] Re: Formal analysis vs. formal verification[Ufmrg] Re: Formal analysis vs. formal verification
Marc Petit-Huguenin
2024-05-13
ufmrg
/arch/msg/ufmrg/-VTCVog3XkQ3Loam9omGWjsCtcI/
3458814
2133622
[Ufmrg] Formal analysis vs. formal verification[Ufmrg] Formal analysis vs. formal verification
Muhammad Usama Sardar
2024-05-13
ufmrg
/arch/msg/ufmrg/v8L62E2EnYhXRNCPJPVAta5Fmiw/
3458628
2133622
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-29
ufmrg
/arch/msg/ufmrg/YqZRcS5Cy9jiT5P5yZ2YWkTZ6c4/
3454164
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Erik Auerswald
2024-04-29
ufmrg
/arch/msg/ufmrg/i5Qvgtf9nGB3ztpkih9z_fS1NP4/
3454143
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-29
ufmrg
/arch/msg/ufmrg/lKMv8DOpNSop7lb9ANLBoyfCjns/
3454108
2131462
Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00Re: [Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Erik Auerswald
2024-04-29
ufmrg
/arch/msg/ufmrg/bKREvdPc8eVZA4pS3DuVuxYdtXo/
3454059
2131462
[Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00[Ufmrg] draft-petithuguenin-ufmrg-formal-sexpr-00
Marc Petit-Huguenin
2024-04-28
ufmrg
/arch/msg/ufmrg/w_Snbcpa_tybM_eenrt4UxrMGpU/
3453525
2131462
[Ufmrg] Blog Post "Formal Methods: Just Good Engineering Practice?" by Marc Brooker[Ufmrg] Blog Post "Formal Methods: Just Good Engineering Practice?" by Marc Brooker
Erik Auerswald
2024-04-23
ufmrg
/arch/msg/ufmrg/4tpBpZTvg2B8S3vvUPq-Ez4t3qc/
3451925
2130769
[Ufmrg] ICTAC 2024 - Second Call for Papers[Ufmrg] ICTAC 2024 - Second Call for Papers
Hans-Dieter Hiep
2024-04-23
ufmrg
/arch/msg/ufmrg/23JGC6CG4w2xPjQofN5dxUWjing/
3451920
2130766
[Ufmrg] Forge, a tool to teach formal methods[Ufmrg] Forge, a tool to teach formal methods
Salz, Rich
2024-04-22
ufmrg
/arch/msg/ufmrg/Ifrw_u4aTo_a4t-ubd_POYHzbIY/
3451640
2130631
[Ufmrg] UFMRG confirmed as full IRTF RG[Ufmrg] UFMRG confirmed as full IRTF RG
Colin Perkins
2024-03-22
ufmrg
/arch/msg/ufmrg/LcbjCHOH2zqBZcgOioQoDWm2Gds/
3441443
2126080
Re: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panelRe: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panel
Bas Spitters
2024-03-20
ufmrg
/arch/msg/ufmrg/pEr48EgSudS3vsbFKfdeTgYa36o/
3440323
2125689
Re: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panelRe: [Ufmrg] [TLS] Proposal: a TLS formal analysis triage panel
Marc Petit-Huguenin
2024-03-20
ufmrg
/arch/msg/ufmrg/PUcJXdAQIyRSCKI-I5Dzyo0pN4c/
3440309
2125689
[Ufmrg] Chairs meeting with IAB this week...[Ufmrg] Chairs meeting with IAB this week...
Stephen Farrell
2024-03-18
ufmrg
/arch/msg/ufmrg/-jtbo2bJgF_F96yvAKK5J704K_s/
3438298
2124895
[Ufmrg] Verified Email[Ufmrg] Verified Email
Steve Crocker
2024-03-14
ufmrg
/arch/msg/ufmrg/i4irur-GR4oPaW_5RMFDVmaA1X8/
3436926
2124266
[Ufmrg] ICTAC 2024: First call for papers[Ufmrg] ICTAC 2024: First call for papers
Hans-Dieter Hiep
2024-02-06
ufmrg
/arch/msg/ufmrg/eieV8oG3D3QdxtFFJITQFn8_gLo/
3420148
2115976
Re: [Ufmrg] Formal Proofs, the Fine Print and Side EffectsRe: [Ufmrg] Formal Proofs, the Fine Print and Side Effects
Marc Petit-Huguenin
2024-02-03
ufmrg
/arch/msg/ufmrg/maalPak3dAx6xFnyWiIpLTx0-CY/
3418899
2114969
[Ufmrg] ufmrg - Not having a session at IETF 119[Ufmrg] ufmrg - Not having a session at IETF 119
IETF Meeting Session Request Tool
2024-02-02
ufmrg
/arch/msg/ufmrg/q1GJf0o9vR528ueliO50HW3spyY/
3418736
2115243
[Ufmrg] Formal Proofs, the Fine Print and Side Effects[Ufmrg] Formal Proofs, the Fine Print and Side Effects
Gergely Buday
2024-02-01
ufmrg
/arch/msg/ufmrg/_-HKKl59R6zxFuxMV1bpk-dwp04/
3418145
2114969
[Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security[Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security
Muhammad Usama Sardar
2024-01-31
ufmrg
/arch/msg/ufmrg/4u_G2naCiHl9lj08SA_cXkXbpdY/
3417518
2114645
Re: [Ufmrg] ufmrg plans for the year ahead - coupla questionsRe: [Ufmrg] ufmrg plans for the year ahead - coupla questions
Stephen Farrell
2024-01-29
ufmrg
/arch/msg/ufmrg/4sslIESC2mHK9oK2ITlByjArUgk/
3416312
2109794
[Ufmrg] ufmrg plans for the year ahead - coupla questions[Ufmrg] ufmrg plans for the year ahead - coupla questions
Stephen Farrell
2024-01-18
ufmrg
/arch/msg/ufmrg/dWlVqtr2USTZpiR7ILDyKFcDQ5Y/
3407249
2109794
Re: [Ufmrg] [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future DirectionsRe: [Ufmrg] [arch-d] Making Networks Safe and Agile with Formal Methods and Programming Abstractions: Future Directions
Marc Petit-Huguenin
2023-11-28
ufmrg
/arch/msg/ufmrg/lVFlPTzGhsFgb7mqaUHmeMERO7Q/
3389428
2100486
Re: [Ufmrg] draft ietf-118 meeting minutesRe: [Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell
2023-11-18
ufmrg
/arch/msg/ufmrg/ljuvuo43pgsgpQoTvjkSJYRtzn0/
3385892
2098561
[Ufmrg] draft ietf-118 meeting minutes[Ufmrg] draft ietf-118 meeting minutes
Stephen Farrell
2023-11-17
ufmrg
/arch/msg/ufmrg/jk31q66KTfs5hEfQXufL85ss8WM/
3385645
2098561
Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal AnalysisRe: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Liu Si
2023-11-08
ufmrg
/arch/msg/ufmrg/83bfChctJqLbL_NBY_xTOBZ5tOM/
3381273
2096637
[Ufmrg] Excellent presentation [was Re: Follow-up: HTTP/2 Rapid Reset & Formal Analysis][Ufmrg] Excellent presentation [was Re: Follow-up: HTTP/2 Rapid Reset & Formal Analysis]
Marc Petit-Huguenin
2023-11-08
ufmrg
/arch/msg/ufmrg/B65a79zFIMslycZ44Reg-8sEBAY/
3381262
2096637
Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal AnalysisRe: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Salz, Rich
2023-11-08
ufmrg
/arch/msg/ufmrg/DclDgY9MGJbO3SQevzA0uwK98w4/
3381213
2096637
198 Messages