Sciweavers

Share
ASIAN
2009
Springer

"Logic Wins!"

11 years 10 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)
books