AMBRA: automated model-based risk analysis.

Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi

Browse the full CCS paper archive.