( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verus: Verifying Rust Programs using Linear Ghost Types.

, , , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA1): 286-315 (апреля 2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Achim Parnow

Klaus Parnow

Agnes Bryan

Corinna Susanne Bryan

Amanda Cordelia Bryant-Friedrich

 

Другие публикации лиц с тем же именем

MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , и . CoRR, (2022)Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies., , , , , , , , , и 3 other автор(ы). CCS, стр. 1857-1870. ACM, (2022)Blockchains Enable Non-interactive MPC., , , и . TCC (2), том 13043 из Lecture Notes in Computer Science, стр. 162-193. Springer, (2021)IronFleet: proving practical distributed systems correct., , , , , , , и . SOSP, стр. 1-17. ACM, (2015)A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer., , , , , , , , и . SP, стр. 1162-1178. IEEE, (2021)Algebraic Reductions of Knowledge., и . CRYPTO (4), том 14084 из Lecture Notes in Computer Science, стр. 669-701. Springer, (2023)CAPS: Smoothly Transitioning to a More Resilient Web PKI., , , , и . ACSAC, стр. 655-668. ACM, (2020)FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores., , , , , , , и . CPP, стр. 30-46. ACM, (2023)Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data., , , , , и . CCS, стр. 1304-1316. ACM, (2016)Komodo: Using verification to disentangle secure-enclave hardware from software., , , и . SOSP, стр. 287-305. ACM, (2017)