4340 search results - page 311 / 868 » Formal Methods and Cryptography |
156
click to vote
FOCS
2005
IEEE
16 years 9 days ago
2005
IEEE
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...
193
click to vote
EUROCRYPT
2004
Springer
16 years 2 days ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
289
Voted
UMC
2000
15 years 10 months ago
2000
Quantum information and computation is the new hype in physics. It is promising, mindboggling and even already applicable in cryptography, with good prospects ahead. A brief, rathe...
170
click to vote
TOSEM
1998
15 years 6 months ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
183
click to vote
ECOWS
2009
Springer
16 years 1 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...