The top documents tagged [tcbreduce proof size]

Secure Compiler Seminar 9/12 Survey on Design of Secure Low-Level Languages

Secure Compiler Seminar 9/12 Survey on Design of Secure Low-Level Languages

26 views
Secure Compiler Seminar 9/12 Survey on Design of Secure Low-Level Languages Toshihiro YOSHINO, Yonezawa Lab. tossy-2@yl.is.s.u-tokyo.ac.jp.

Secure Compiler Seminar 9/12 Survey on Design of Secure Low-Level Languages Toshihiro YOSHINO, Yonezawa Lab. [email protected].

221 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS