Automatic Generation of Security Argument Graphs.

Nils Ole Tippenhauer, William G. Temple, An Hoa Vu, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk, William H. Sanders

Browse the full PRDC paper archive.