5255 search results - page 318 / 1051 » Formal Methods for Privacy |
146
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract: We present an implementation of a highthroughput cryptosorter, capable of sorting an encrypted database of eight megabytes in .15 seconds; 1102 times faster than a softwa...
122
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resoluti...
127
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we use Z to capture the requirements for an ‘intuitive’ menu navigation system as a series of conjectures that should hold. We use those requirements to investiga...
165
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
163
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...