Distinguishing and Recovering Generalized Linearized ReedSolomon Codes -- Verifying Classic McEliece: examining the role of formal methods in post-quantum cryptography standardisation -- Key-Recovery Fault Injection Attack on the Classic McEliece KEM -- Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC -- Software Implementation of a Code-Based Key Encapsulation Mechanism from Binary QD Generalized Srivastava Codes -- On Decoding High-Order Interleaved Sum-Rank-Metric Codes -- Information Set Decoding for Lee-Metric Codes using Restricted Balls -- Cryptanalysis of IvanovKroukZyablov cryptosystem .