ΜΟΥΛΚΙΩΤΗΣ ΓΡΗΓΟΡΙΟΣ, Enhanced Techniques for Testing x86 and RISC-V CPUs Against Speculation Contracts, 2024,