3 citations · 6 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation
Qi Qin, JulianAndres JiYang, Fu Song +2
Recent work has shown that Just-In-Time (JIT) compilation can introduce timing side-channels to constant-time programs, which would otherwise be a principled and effective means to…
cs.PL2018
KRust: A Formal Executable Semantics of Rust
Feng Wang, Fu Song, Min Zhang +2
Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borro…