Cited By
View all- Aguirre AHaselwarter Pde Medeiros MLi KGregersen STassarotti JBirkedal L(2024)Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic ProgramsProceedings of the ACM on Programming Languages10.1145/36746358:ICFP(284-316)Online publication date: 15-Aug-2024
- Xie XLi YZhang WWang TXu SZhu JSong Y(2024)GAuV: A Graph-Based Automated Verification Framework for Perfect Semi-Honest Security of Multiparty Computation Protocols2024 IEEE Symposium on Security and Privacy (SP)10.1109/SP54263.2024.00131(484-502)Online publication date: 19-May-2024
- Sun YFu HChatterjee KGoharshady A(2023)Automated Tail Bound Analysis for Probabilistic Recurrence RelationsComputer Aided Verification10.1007/978-3-031-37709-9_2(16-39)Online publication date: 17-Jul-2023
- Show More Cited By