57 citations · 130 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 1 cited
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
Nicholas Mosier, Hamed Nemati, John C. Mitchell +1
We present Serberus, the first comprehensive mitigation for hardening constant-time (CT) code against Spectre attacks (involving the PHT, BTB, RSB, STL and/or PSF speculation primi…
cs.LO2023★ 6 cited
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
Matthias Cosler, Christopher Hahn, Daniel Mendoza +2
A rigorous formalization of desired system requirements is indispensable when performing any verification task. This often limits the application of verification techniques, as wri…