4340 search results - page 86 / 868 » Formal Methods and Cryptography |
182
click to vote
TC
2010
15 years 1 months ago
2010
This paper proposes two improved interleaved modular multiplication algorithms based on Barrett and Montgomery modular reduction. The algorithms are simple and especially suitable ...
163
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
171
click to vote
ACNS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Web advertisers prefer the cost-per-action (CPA) advertisement model whereby an advertiser pays a web publisher according to the actual amount of transactions, rather tha...
191
click to vote
ACST
2006
15 years 7 months ago
2006
Various kinds of software obfuscation methods have been proposed to protect security-sensitive information involved in software implementations. This paper proposes a cracker-cent...