Proceedings of the conference on Design, automation and test in Europe: Proceedings
Proceedings of the 2006 ACM symposium on Applied computing
Assisted verification of elementary functions using Gappa
Proceedings of the 2006 ACM symposium on Applied computing
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Standardization and testing of implementations of mathematical functions in floating point numbers
Programming and Computing Software
Test Construction for Mathematical Functions
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Computing correctly rounded integer powers in floating-point arithmetic
ACM Transactions on Mathematical Software (TOMS)
Reliable computing with GNU MPFR
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Standardization and testing of mathematical functions
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
ACM Transactions on Mathematical Software (TOMS)
| Hi-index | 0.00 |
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electro-magnetic analysis when multiplier operations areinsufficiently shielded from external monitoring. Here several standard multipliers are investigated ...