https://pereq.eu/ https://pereq.eu/blog/ https://pereq.eu/blog/cyber-campus-hax/ 2023-09-20 https://pereq.eu/blog/eic-transition-spectrum/ 2026-06-25 https://pereq.eu/blog/fmcp/ 2024-07-28 https://pereq.eu/blog/hax_0_4_release/ 2026-10-01 https://pereq.eu/blog/internet-defense-prize-2023/ 2023-08-14 https://pereq.eu/blog/mls-introduction/ 2023-07-31 https://pereq.eu/blog/pqxdh/ 2023-10-20 https://pereq.eu/blog/rwc-2023/ 2023-06-12 https://pereq.eu/blog/sha3-hax-0-4/ 2026-10-12 https://pereq.eu/blog/signal-spqr-verification/ 2025-10-02 https://pereq.eu/blog/software-verification-in-lean-2026/ 2026-04-22 https://pereq.eu/blog/specify-rust-simd/ 2025-10-28 https://pereq.eu/blog/welcome_alex/ 2025-11-10 https://pereq.eu/blog/welcome_clement/ 2025-05-13 https://pereq.eu/blog/welcome_maxime/ 2024-08-06 https://pereq.eu/blog/welcome_paula/ 2026-08-18 https://pereq.eu/blog/welcome_tobias/ 2026-08-06 https://pereq.eu/contact/ https://pereq.eu/hax/ https://pereq.eu/jobs/ https://pereq.eu/legal/ https://pereq.eu/mentions-legales/ https://pereq.eu/perspec/ https://pereq.eu/spectrum/ https://pereq.eu/team/