% To cite this paper, you need to modify (e.g., the usenix sty file) or add the
% following usepackages to you tex file:
%
% \usepackage[T2A, T1]{fontenc}
% \usepackage[utf8]{inputenc}
% \usepackage[russian, english]{babel}
%
@inproceedings{veriwasm,
author = {Evan Johnson and David Thien and Yousef Alhessi and Shravan Narayan and Fraser Brown and Sorin Lerner and Tyler McMullen and Stefan Savage and Deian Stefan},
title = {\foreignlanguage{russian}{Довер\'{я}й, но провер\'{я}й}: {SFI} safety for native-compiled {Wasm}},
booktitle = {Network and Distributed System Security Symposium (NDSS)},
month = {February},
year = {2021},
publisher = {Internet Society}
}

% Otherwise just use the English-only citation:
@inproceedings{veriwasm-eng,
author = {Evan Johnson and David Thien and Yousef Alhessi and Shravan Narayan and Fraser Brown and Sorin Lerner and Tyler McMullen and Stefan Savage and Deian Stefan},
title = {Trust but verify: {SFI} safety for native-compiled {Wasm}},
booktitle = {Network and Distributed System Security Symposium (NDSS)},
month = {February},
year = {2021},
publisher = {Internet Society}
}