Cited By
View all- Bacelar Almeida JBarbosa MBarthe GPacheco HPereira VPortela B(2022)A formal treatment of the role of verified compilers in secure computationJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100736125(100736)Online publication date: Feb-2022
- Fan YSong FChen TZhang LLiu W(2022)PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party ComputationComputer Aided Verification10.1007/978-3-031-13185-1_19(385-406)Online publication date: 7-Aug-2022
- Acay CRecto RGancher JMyers AShi EFreund SYahav E(2021)Viaduct: an extensible, optimizing compiler for secure distributed programsProceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3453483.3454074(740-755)Online publication date: 19-Jun-2021
- Show More Cited By