( en | de | ru )

 

Disambiguation of "Parno, Bryan"

Author of the publication

copydeleteadd this publication to your clipboard
Self-correcting Neural Networks for Safe Classification.

, , , , , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 96-130. Springer, (2022)

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. You can also use the button next to the name to display some publications already assigned to the person.

Achim Parnow

Klaus Parnow

Agnes Bryan

Corinna Susanne Bryan

Amanda Cordelia Bryant-Friedrich

 

Other publications of authors with the same name

Komodo: Using verification to disentangle secure-enclave hardware from software., , , and . SOSP, page 287-305. ACM, (2017)SNAPP: stateless network-authenticated path pinning., , and . AsiaCCS, page 168-178. ACM, (2008)Fifth ACM cloud computing security workshop (CCSW 2013)., and . ACM Conference on Computer and Communications Security, page 1487-1488. ACM, (2013)Hammurabi: A Framework for Pluggable, Logic-Based X.509 Certificate Validation Policies., , , , , , , , , and 3 other author(s). CCS, page 1857-1870. ACM, (2022)Blockchains Enable Non-interactive MPC., , , and . TCC (2), volume 13043 of Lecture Notes in Computer Science, page 162-193. Springer, (2021)MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code., , , , , , , , , and . CoRR, (2022)IronFleet: proving practical distributed systems correct., , , , , , , and . SOSP, page 1-17. ACM, (2015)CAPS: Smoothly Transitioning to a More Resilient Web PKI., , , , and . ACSAC, page 655-668. ACM, (2020)FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores., , , , , , , and . CPP, page 30-46. ACM, (2023)Algebraic Reductions of Knowledge., and . CRYPTO (4), volume 14084 of Lecture Notes in Computer Science, page 669-701. Springer, (2023)