[PLMW@PLDI24] How to read a PL-security paper