Cited By
View all- Wu PNing JHuang XLiu J(2023)Differentially Oblivious Two-Party Pattern Matching With Sublinear Round ComplexityIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.320675820:5(4101-4117)Online publication date: 1-Sep-2023
- 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
- Show More Cited By