Leakage-Free Probabilistic Jasmin Programs.

Jos Bacelar Almeida, Denis Firsov, Tiago Oliveira, Dominique Unruh

Browse the full CPP paper archive.