2000 search results - page 229 / 400 » Program Transformation and Proof Transformation |
161
Voted
VL
2002
IEEE
15 years 9 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
140
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
112
Voted
IACR
2011
14 years 3 months ago
2011
We put forward the notion of targeted malleability: given a homomorphic encryption scheme, in various scenarios we would like to restrict the homomorphic computations one can perf...
126
click to vote
IACR
2011
14 years 3 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...
131
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...