4 citations · 5 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation
Qianchuan Ye, Benjamin Delaware
Secure multiparty computation (MPC) techniques enable multiple parties to compute joint functions over their private data without sharing that data with other parties, typically by…
cs.PL2023
Polymorphic Coverage Types
Zhe Zhou, Ashish Mishra, Benjamin Delaware +1
Test input generators are an important part of property-based testing (PBT) frameworks, and a key expectation is that they be capable of producing all acceptable elements that sati…