vix.ing · top · new · best · stats · spec

Tiziano Marinaro

  1. Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs
    2026/07/16 by Elvira Moreno, Tiziano Marinaro, Ryan Williams +4
    #cs.CR