CMU

file

Visible to the public Chandrashekar_Quant_and_Qual_Eval_Thesis.pdf

file

Visible to the public Egelman_Behavior_Ever_Follows.pdf

biblio

Visible to the public Finding Security Vulnerabilities that are Architectural Flaws using Constraints

file

Visible to the public Vanciu_Find_Arch_Flaws.pdf

biblio

Visible to the public Architecture-Based Run-Time Fault Diagnosis