4340 search results - page 86 / 868 » Formal Methods and Cryptography |
142
Voted
TC
2010
14 years 10 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 ...
132
Voted
FMCO
2006
Springer
15 years 7 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...
138
Voted
ACNS
2010
Springer
15 years 7 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...
151
Voted
ACST
2006
15 years 5 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...
100
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer