I came across these articles which imply (to me) that 7-Zip's AES implementation is not good:
https://twitter.com/3lbios/status/1087848040583626753
https://threadreaderapp.com/thread/1087848040583626753.html
What are the mitigations to this?
How can a user make 7-Zip files more secure?
What's a better GUI way to create encrypted archives on Windows?