( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring.

, , , , , и . USENIX Security Symposium, стр. 1493-1510. USENIX Association, (2018)

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.

Mario Clara

Martin Clara

Nicole Clara

Christophe Claramunt

Manfred Clara

 

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

The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts., , и . ISoLA (3), том 12478 из Lecture Notes in Computer Science, стр. 212-231. Springer, (2020)Decision and Complexity of Dolev-Yao Hyperproperties., , и . Proc. ACM Program. Lang., 8 (POPL): 1913-1944 (января 2024)LedgerLocks: A Security Framework for Blockchain Protocols Based on Adaptor Signatures., , и . CCS, стр. 859-873. ACM, (2023)WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring., , , , , и . USENIX Security Symposium, стр. 1493-1510. USENIX Association, (2018)Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability., , , , и . NDSS, The Internet Society, (2019)eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts., , , и . CCS, стр. 621-640. ACM, (2020)HoRStify: Sound Security Analysis of Smart Contracts., , и . CSF, стр. 245-260. IEEE, (2023)Foundations and Tools for the Static Analysis of Ethereum Smart Contracts., , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 51-78. Springer, (2018)A Semantic Framework for the Security Analysis of Ethereum Smart Contracts., , и . POST, том 10804 из Lecture Notes in Computer Science, стр. 243-269. Springer, (2018)