Probabilistic and Concurrent Models for Security.

Romain Beauxis

Browse the full ICLP paper archive.