1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.CR2019★ 1 cited
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao, Hongyi Xie, Jun Zhang +2
Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical…
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…