Add side-channel attack resilient `powModSecInteger`
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 27 Oct 2013 22:14:11 +0000 (23:14 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 27 Oct 2013 22:14:11 +0000 (23:14 +0100)
This is a follow-up to 97c101b7363f84d925a600acb56a9fa3a997ea0d which
introduced the "ordinary" `powModInteger` operation.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
GHC/Integer/GMP/Internals.hs
GHC/Integer/GMP/Prim.hs
GHC/Integer/Type.lhs
cbits/gmp-wrappers.cmm

index b80840b..f1aec51 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE NoImplicitPrelude #-}
 
-module GHC.Integer.GMP.Internals (Integer(..), gcdInt, gcdInteger, gcdExtInteger, lcmInteger, powInteger, powModInteger, recipModInteger)
+module GHC.Integer.GMP.Internals (Integer(..), gcdInt, gcdInteger, gcdExtInteger, lcmInteger, powInteger, powModInteger, powModSecInteger, recipModInteger)
     where
 
 import GHC.Integer.Type
index 401855b..0fd1b32 100644 (file)
@@ -43,6 +43,7 @@ module GHC.Integer.GMP.Prim (
 
     powInteger#,
     powModInteger#,
+    powModSecInteger#,
     recipModInteger#,
 
 #if WORD_SIZE_IN_BITS < 64
@@ -198,6 +199,11 @@ foreign import prim "integer_cmm_powModIntegerzh" powModInteger#
 
 -- |
 --
+foreign import prim "integer_cmm_powModSecIntegerzh" powModSecInteger#
+  :: Int# -> ByteArray# -> Int# -> ByteArray# -> Int# -> ByteArray# -> (# Int#, ByteArray# #)
+
+-- |
+--
 foreign import prim "integer_cmm_recipModIntegerzh" recipModInteger#
   :: Int# -> ByteArray# -> Int# -> ByteArray# -> (# Int#, ByteArray# #)
 
index 6e13eb5..5ff79ab 100644 (file)
@@ -45,7 +45,7 @@ import GHC.Integer.GMP.Prim (
     int2Integer#, integer2Int#, word2Integer#, integer2Word#,
     andInteger#, orInteger#, xorInteger#, complementInteger#,
     testBitInteger#, mul2ExpInteger#, fdivQ2ExpInteger#,
-    powInteger#, powModInteger#, recipModInteger#,
+    powInteger#, powModInteger#, powModSecInteger#, recipModInteger#,
 #if WORD_SIZE_IN_BITS < 64
     int64ToInteger#,  integerToInt64#,
     word64ToInteger#, integerToWord64#,
@@ -616,6 +616,20 @@ powModInteger (J# s1 d1) (J# s2 d2) (J# s3 d3) =
         (# s', d' #) -> J# s' d'
 powModInteger b e m = powModInteger (toBig b) (toBig e) (toBig m)
 
+-- | @powModSecInteger b e m@ computes base @b@ raised to exponent @e@
+-- modulo @m@. It is required that @e@ > 0 and @m@ is odd.
+--
+-- This is a \"secure\" variant of 'powModInteger' using the
+-- @mpz_powm_sec()@ function which is designed to be resilient to side
+-- channel attacks and is therefore intended for cryptographic
+-- applications.
+{-# NOINLINE powModSecInteger #-}
+powModSecInteger :: Integer -> Integer -> Integer -> Integer
+powModSecInteger (J# s1 d1) (J# s2 d2) (J# s3 d3) =
+    case powModSecInteger# s1 d1 s2 d2 s3 d3 of
+        (# s', d' #) -> J# s' d'
+powModSecInteger b e m = powModSecInteger (toBig b) (toBig e) (toBig m)
+
 -- | @recipModInteger x m@ computes the inverse of @x@ modulo @m@. If
 -- the inverse exists, the return value @y@ will satisfy @0 < y <
 -- abs(m)@, otherwise the result is 0.
index 68e6485..aadd134 100644 (file)
@@ -52,6 +52,7 @@ import "integer-gmp" __gmpz_ior;
 import "integer-gmp" __gmpz_com;
 import "integer-gmp" __gmpz_pow_ui;
 import "integer-gmp" __gmpz_powm;
+import "integer-gmp" __gmpz_powm_sec;
 import "integer-gmp" __gmpz_invert;
 
 import "integer-gmp" integer_cbits_decodeDouble;
@@ -437,6 +438,7 @@ GMP_TAKE2_RET2(integer_cmm_quotRemIntegerzh,        __gmpz_tdiv_qr)
 GMP_TAKE2_RET2(integer_cmm_divModIntegerzh,         __gmpz_fdiv_qr)
 
 GMP_TAKE3_RET1(integer_cmm_powModIntegerzh,         __gmpz_powm)
+GMP_TAKE3_RET1(integer_cmm_powModSecIntegerzh,      __gmpz_powm_sec)
 GMP_TAKE2_RET1(integer_cmm_recipModIntegerzh,       __gmpz_invert)
 GMP_TAKE1_UL1_RET1(integer_cmm_powIntegerzh,        __gmpz_pow_ui)