Author:
Abadi Martín,Fournet Cédric,Gonthier Georges
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. $\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
2. Two Parametricities Versus Three Universal Types;ACM Transactions on Programming Languages and Systems;2022-09-21
3. Robustly Safe Compilation, an Efficient Form of Secure Compilation;ACM Transactions on Programming Languages and Systems;2021-04
4. Formal Approaches to Secure Compilation;ACM Computing Surveys;2019-11-30
5. Robustly Safe Compilation;Programming Languages and Systems;2019