Ryan Williams

Northeastern University

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Red-Teaming & Adversarial Robustness (1)

Frequent co-authors

Elvira Moreno (1)Tiziano Marinaro (1)Marco Patrignani (1)R. Guanciale (1)

Papers (1)

Jul 16, 2026

Jul 16, 2026·also IMDEA Software Institute, KTH, Northeastern, Trento

Automated Template-free Synthesis of Instruction-Centric Leakage Contracts for Black-Box CPUs

Automating the synthesis of leakage contracts could revolutionize CPU security by eliminating the need for extensive manual effort in their development.

Elvira Moreno, Tiziano Marinaro, Ryan Williams +5

Code Generation & Program Synthesis Red-Teaming & Adversarial Robustness

Search

Ryan Williams

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)