[tlaplus] OpenSSH CVE due to race condition - specify it in TLA+?

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

If anybody is looking for a fun project, there was recently a fairly severe bug in OpenSSH caused by a race condition. Might be interesting to specify it in TLA+ to see whether it can be reproduced! https://www.qualys.com/2024/07/01/cve-2024-6387/regresshion.txt

Andrew Helwer

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/ffb5889d-0adc-4f0c-96a9-693d49076c87n%40googlegroups.com.