Formal Methods

Title Speakers Conference Tags
The Case for Semantics-Based Methods in Reverse Engineering Rolf Rolles REcon-2012 - Montreal, Canada Reverse Engineering Formal Methods SMT Solvers
Decomposing the Network to perform Attack Planning under Uncertainty Carlos Sarraute Hackito Ergo Sum-2012 - Paris, France Formal Methods Attack Planning