Publication
Dynamic atomic storage without consensus
Publication
Bottom-up Shape Analysis
Publication
Position Based Cryptography
Publication
Convergence Speed of Binary Interval Consensus
Publication