Publication
Securely Obfuscating Re-Encryption
Publication
Image-based Modeling by Joint Segmentation
Publication
Program Verification as Probabilistic Inference
Publication
Assertion Checking Unified
Publication