1414 search results - page 40 / 283 » Combining Intruder Theories |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus prov...
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
SIAMDM
2010
13 years 4 months ago
2010
Thomassen (J. Combin. Theory Ser. B, 62 (1994), pp. 180
ISIPTA
2005
IEEE
14 years 3 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...