32032 search results - page 142 / 6407 » Verified programming in Guru |
151
click to vote
JAR
2006
15 years 4 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
112
click to vote
JOC
2010
14 years 11 months ago
2010
Abstract. A shuffle consists of a permutation and re-encryption of a set of input ciphertexts. One application of shuffles is to build mix-nets. We suggest an honest verifier zero-...
213
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the publisher may be untrusted or susceptible to attacks, it could produ...
142
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
116
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...