Publisher
Springer International Publishing
Reference51 articles.
1. Abadi, M.: Protection in programming-language translations. In: Secure Internet Programming, Security Issues for Mobile and Distributed Objects, pp. 19–34 (1999).
https://doi.org/10.1007/3-540-48749-2_2
2. Abate, C., et al.: Journey beyond full abstraction: exploring robust property preservation for secure compilation (2018).
arXiv: 1807.04603
[cs.PL]
3. Abate, C., et al.: When good components go bad: formally secure compilation despite dynamic compromise. In: Lie, D. et al. (ed.) Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, 15–19 October 2018, pp. 1351–1368 (2018).
https://doi.org/10.1145/3243734.3243745
, ISBN: 978-1-4503-5693-0
4. Abbott, M.G., Altenkirch, T., Ghani, N.: Containers: constructing strictly positive types. Theor. Comput. Sci. 342(1), 3–27 (2005).
https://doi.org/10.1016/j.tcs.2005.06.002
5. Abbott, M.G., et al.: For data: differentiating data structures. Fundam. Inform. 65(1-2), 1–28 (2005).
http://content.iospress.com/articles/fundamenta-informaticae/fi65-1-2-02
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Bialgebraic Reasoning on Higher-order Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Towards a Higher-Order Mathematical Operational Semantics;Proceedings of the ACM on Programming Languages;2023-01-09
3. Fully Abstract and Robust Compilation;Programming Languages and Systems;2021