Author:
Almeida Jose Bacelar,Barbosa Manuel,Barthe Gilles,Pacheco Hugo,Pereira Vitor,Portela Bernardo
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. General-Purpose Secure Conflict-free Replicated Data Types;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
2. DeJITLeak: eliminating JIT-induced timing side-channel leaks;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. A formal treatment of the role of verified compilers in secure computation;Journal of Logical and Algebraic Methods in Programming;2022-02
4. PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation;Computer Aided Verification;2022
5. Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12