Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Gergely Buday
2023-09-11
ufmrg
/arch/msg/ufmrg/NntButHafxb9DcfHY_zgJlVEbg8/
3354105
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Hans-Dieter Hiep
2023-09-11
ufmrg
/arch/msg/ufmrg/XMqTqpfH5ffZFyUZK3RSgiAOoPE/
3354096
2082212
Re: [Ufmrg] bugs in formal methods softwareRe: [Ufmrg] bugs in formal methods software
Nadim Kobeissi
2023-09-08
ufmrg
/arch/msg/ufmrg/bW1_UkoGI6shm0bgi8A99dJLlW8/
3353289
2083485
Re: [Ufmrg] bugs in formal methods softwareRe: [Ufmrg] bugs in formal methods software
Muhammad Usama Sardar
2023-09-08
ufmrg
/arch/msg/ufmrg/Bla9i_kIDU7GevYJMGslGRD8oFw/
3353221
2083485
[Ufmrg] bugs in formal methods software[Ufmrg] bugs in formal methods software
Gergely Buday
2023-09-08
ufmrg
/arch/msg/ufmrg/RxwCnvlkditB43m27-y1v98pXwI/
3353102
2083485
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Nadim Kobeissi
2023-09-08
ufmrg
/arch/msg/ufmrg/zmrZoD09nXANUtwEuahyNQwZWG0/
3353087
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Muhammad Usama Sardar
2023-09-08
ufmrg
/arch/msg/ufmrg/__eU2W_3YGKuZW_iATRB_NCP0BA/
3352994
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Jonathan Hoyland
2023-09-07
ufmrg
/arch/msg/ufmrg/G04YMakXlkYy_NZlth0jxnJqNUA/
3352833
2082212
Re: [Ufmrg] [EXT] Re: A few questions about UFMRG goalsRe: [Ufmrg] [EXT] Re: A few questions about UFMRG goals
Joshua D Guttman
2023-09-07
ufmrg
/arch/msg/ufmrg/Xr_gGxHbYXFhI7iy8dEmfiYFsVI/
3352776
2082212
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Jonathan Hoyland
2023-09-05
ufmrg
/arch/msg/ufmrg/XKNPS80huphIJtg-XFGOulJhZ1I/
3351687
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Cory Francis Myers
2023-09-05
ufmrg
/arch/msg/ufmrg/yeODUFJ1wZ1y89b-q4v1jMEOoBM/
3351651
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-09-01
ufmrg
/arch/msg/ufmrg/6cft0qEEGw6wp1g4b2ihAYkssHA/
3350589
2081453
Re: [Ufmrg] A few questions about UFMRG goalsRe: [Ufmrg] A few questions about UFMRG goals
Stephen Farrell
2023-09-01
ufmrg
/arch/msg/ufmrg/7qkdrHWcw_ByOFEM59BgUS73EdU/
3350552
2082212
[Ufmrg] A few questions about UFMRG goals[Ufmrg] A few questions about UFMRG goals
Joshua D Guttman
2023-09-01
ufmrg
/arch/msg/ufmrg/9GDVBnNeFtM_BT6VmwFAmkkPC6E/
3350550
2082212
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Wes Hardaker
2023-08-31
ufmrg
/arch/msg/ufmrg/BjwuejFy4HqnzCO-FXu96mDFEQs/
3350229
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-08-31
ufmrg
/arch/msg/ufmrg/VCWWMMhCnLBGDr3ipGF0SDFCFkk/
3350227
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Wes Hardaker
2023-08-31
ufmrg
/arch/msg/ufmrg/Wqb4enskb9COV4kKRtLNMJ-M5QE/
3350216
2081453
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-08-31
ufmrg
/arch/msg/ufmrg/_aQjCAhl41-aqno_squx3WFyD-A/
3349960
2081453
[Ufmrg] Candidate problem: DNSSEC multi-signer protocol[Ufmrg] Candidate problem: DNSSEC multi-signer protocol
Steve Crocker
2023-08-30
ufmrg
/arch/msg/ufmrg/O9me5HoObAO2OISF0J_ZZC-qrHM/
3349621
2081798
Re: [Ufmrg] UFMRG training at IETF118Re: [Ufmrg] UFMRG training at IETF118
Muhammad Usama Sardar
2023-08-29
ufmrg
/arch/msg/ufmrg/wo1Mymfkrtuy_DoYOLye9toQJXY/
3349040
2081453
[Ufmrg] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-09-01[Ufmrg] Usable Formal Methods Proposed Research Group (ufmrg) RG Virtual Meeting: 2023-09-01
IESG Secretary
2023-08-28
ufmrg
/arch/msg/ufmrg/5b_KVj7f37vSH_1mRmqBKO33q2g/
3348918
2081457
[Ufmrg] UFMRG training at IETF118[Ufmrg] UFMRG training at IETF118
Stephen Farrell
2023-08-28
ufmrg
/arch/msg/ufmrg/80ZtWrxGYwUOCzhcUsN4fyjXV2o/
3348912
2081453
[Ufmrg] Fwd: [IRTF-Announce] Diversity travel grants for IETF-118[Ufmrg] Fwd: [IRTF-Announce] Diversity travel grants for IETF-118
Stephen Farrell
2023-08-21
ufmrg
/arch/msg/ufmrg/KfQBuM3bQp_A1bc7obX-kE9zEWY/
3345748
2080203
[Ufmrg] Formal analysis of DPoP[Ufmrg] Formal analysis of DPoP
Hannes Tschofenig
2023-08-18
ufmrg
/arch/msg/ufmrg/nMa_KlLw9z_b45q7XwzxvVEOvQk/
3344844
2079774
Re: [Ufmrg] Formal analysis of TFTPRe: [Ufmrg] Formal analysis of TFTP
Marc Petit-Huguenin
2023-08-09
ufmrg
/arch/msg/ufmrg/H5Nch5MYAlSkV9jS9WtG4bV8VDc/
3341286
2074583
Re: [Ufmrg] APNIC Blog Guest Post on "A formal analysis of Karn’s Algorithm"Re: [Ufmrg] APNIC Blog Guest Post on "A formal analysis of Karn’s Algorithm"
Colin Perkins
2023-08-09
ufmrg
/arch/msg/ufmrg/tFqYGCfyO4My4CjTH_J1TOpXph0/
3341147
2078184
[Ufmrg] APNIC Blog Guest Post on "A formal analysis of Karn’s Algorithm"[Ufmrg] APNIC Blog Guest Post on "A formal analysis of Karn’s Algorithm"
Erik Auerswald
2023-08-09
ufmrg
/arch/msg/ufmrg/8K_QniaaygKzUe3budl6UrnylWs/
3341118
2078184
Re: [Ufmrg] Formal analysis of TFTPRe: [Ufmrg] Formal analysis of TFTP
Erik Auerswald
2023-08-09
ufmrg
/arch/msg/ufmrg/FfxwL_QjpHYrVAyFBKHPvL4Udr0/
3341111
2074583
[Ufmrg] Tamarin vs Isabelle: complexity[Ufmrg] Tamarin vs Isabelle: complexity
Gergely Buday
2023-07-25
ufmrg
/arch/msg/ufmrg/aZ3NidEpfFUF22DDn9bN4rT92cI/
3334166
2075700
Re: [Ufmrg] OWL language & tool for formal specificationsRe: [Ufmrg] OWL language & tool for formal specifications
Nadim Kobeissi
2023-07-25
ufmrg
/arch/msg/ufmrg/No7UnN0L_0RWk5KvJNDTHBmZo_I/
3334139
2075691
[Ufmrg] OWL language & tool for formal specifications[Ufmrg] OWL language & tool for formal specifications
Chris Inacio
2023-07-25
ufmrg
/arch/msg/ufmrg/Ac2I76XpkQigVS59ivDUHRxn0QA/
3334138
2075691
Re: [Ufmrg] Isabelle thing relevant to imapRe: [Ufmrg] Isabelle thing relevant to imap
Gergely Buday
2023-07-25
ufmrg
/arch/msg/ufmrg/l3ujKAejLXUEwBm6ic6eRrVmX1w/
3333994
2075619
Re: [Ufmrg] Isabelle thing relevant to imapRe: [Ufmrg] Isabelle thing relevant to imap
Gergely Buday
2023-07-25
ufmrg
/arch/msg/ufmrg/y5XnXKZ3NqPC88Dq6CrVE5iRtIw/
3333985
2075619
[Ufmrg] Isabelle thing relevant to imap[Ufmrg] Isabelle thing relevant to imap
Stephen Farrell
2023-07-25
ufmrg
/arch/msg/ufmrg/HkZMnYGVslTjpXX2Mxlp-85EDW0/
3333981
2075619
[Ufmrg] ietf117 session notes[Ufmrg] ietf117 session notes
Stephen Farrell
2023-07-25
ufmrg
/arch/msg/ufmrg/RINO-OWrsQ65ihSvqqecLqEed4Q/
3333974
2075617
[Ufmrg] modelling TCP[Ufmrg] modelling TCP
Gergely Buday
2023-07-25
ufmrg
/arch/msg/ufmrg/GqUZHmXC3wosIvcznb3dCMzHRJ0/
3333932
2075610
Re: [Ufmrg] More on sample problems for ufmrgRe: [Ufmrg] More on sample problems for ufmrg
Jonathan Hoyland
2023-07-24
ufmrg
/arch/msg/ufmrg/8wrORRdxbVBYR433OPKxbe5kKws/
3333876
2075508
Re: [Ufmrg] More on sample problems for ufmrgRe: [Ufmrg] More on sample problems for ufmrg
bjzembe@uwe.nsa.gov
2023-07-24
ufmrg
/arch/msg/ufmrg/9HFLkdrCV5mN9_RfqbaVg1ocRMU/
3333762
2075508
[Ufmrg] More on sample problems for ufmrg[Ufmrg] More on sample problems for ufmrg
Joshua D Guttman
2023-07-24
ufmrg
/arch/msg/ufmrg/b981NXuhNmQ0oHcetmGt9GnTA3M/
3333710
2075508
[Ufmrg] Fwd: I-D Action: draft-bormann-restatement-00.txt[Ufmrg] Fwd: I-D Action: draft-bormann-restatement-00.txt
Carsten Bormann
2023-07-23
ufmrg
/arch/msg/ufmrg/mJtEZK6Ir8LND0FrrTTMpnf-0mg/
3333251
2075292