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