10715 search results - page 13 / 2143 » Proofs from Tests |
148
click to vote
TCS
2002
15 years 3 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
137
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The efficacy of mutation analysis depends heavily on its capability to mutate programs in such a way that they remain executable and exhibit deviating behaviour. Whereas the forme...
147
click to vote
ECCC
2010
15 years 1 months ago
2010
We study the problem of testing isomorphism (equivalence up to relabelling of the variables) of two Boolean functions f, g : {0, 1}n → {0, 1}. Our main focus is on the most stud...
119
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Preserving historic recording on gramophone records is an important task because the traditional record play back system damages/wears out records eventually. We present an optica...
134
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...