Search papers, labs, and topics across Lattice.
2
0
3
3
Compositional semantics can formally verify defenses against Spectre-style speculative execution attacks, a feat previously lacking in the field.
Secure multi-tenant LLM serving without sacrificing performance is now possible: CacheSolidarity selectively isolates prefixes, boosting cache reuse by up to 70% and cutting inference latency by 30% compared to blunt-force defenses.
