@dblp

Witness-Based Cryptographic Program Checking and Robust Function Sharing.

, , and . STOC, page 499-508. ACM, (1996)

Links and resources

Tags