Joseph y. Halpern [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic. CSF-2013 - Louisiana,USA Security