3742 search results - page 648 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
195
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Blinding is a popular and well-known countermeasure to protect public-key cryptosystems against side-channel attacks. The high level idea is to randomize an exponentiation in order...
205
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
The handshake gesture is an important part of the social etiquette in many cultures. It lies at the core of many human interactions, either in formal or informal settings: exchangi...
158
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
197
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...