Sciweavers

ASIAN
2009
Springer

"Logic Wins!"

13 years 4 months ago
"Logic Wins!"
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security properties. In particular, we examine confidentiality objectives in hardware circuit descriptions written in VHDL.
Jean Goubault-Larrecq
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where ASIAN
Authors Jean Goubault-Larrecq
Comments (0)