5255 search results - page 375 / 1051 » Formal Methods for Privacy |
137
click to vote
ACSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Detection of malicious software (malware) by the use of static signatures is often criticized for being overly simplistic. Available methods of obfuscating code (so-called metamor...
119
click to vote
ACISP
2005
Springer
15 years 10 months ago
2005
Springer
We propose a key generation method for RSA moduli which allows the cost of the public operations (encryption/verifying) and the private operations (decryption/signing) to be balanc...
135
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
144
click to vote
OOPSLA
2001
Springer
15 years 9 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
146
Voted
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
ion and Refinement in Model Checking Orna Grumberg Technion, Haifa, Israel FMCO, Amsterdam November 2005