4340 search results - page 8 / 868 » Formal Methods and Cryptography |
FMCAD
2009
Springer
15 years 4 months ago
2009
Springer
88
Voted
FM
2008
Springer
14 years 11 months ago
2008
Springer
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
—Program obfuscation is often employed by malware in order to avoid detection by anti-virus software, but it has many other legitimate uses, such as copy protection, software lic...
DCC
2002
IEEE
15 years 9 months ago
2002
IEEE
This contribution is concerned with a generalization of Itoh and Tsujii's algorithm for inversion in extension fields GF(qm ). Unlike the original algorithm, the method introd...
95
Voted
CRYPTO
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. A significant effort has recently been made to rigorously relate the formal treatment of cryptography with the computational one. A first substantial step in this dire...