diff --git a/tests/CMakeLists.txt b/tests/CMakeLists.txt
index 323ad2d..9dd7f88 100644
--- a/tests/CMakeLists.txt
+++ b/tests/CMakeLists.txt
@@ -136,6 +136,7 @@
 add_test_suite(psa_crypto_metadata)
 add_test_suite(psa_crypto_persistent_key)
 add_test_suite(psa_crypto_se_driver_hal)
+add_test_suite(psa_crypto_se_driver_hal_mocks)
 add_test_suite(psa_crypto_slot_management)
 add_test_suite(psa_its)
 add_test_suite(shax)
diff --git a/tests/suites/test_suite_psa_crypto_se_driver_hal.data b/tests/suites/test_suite_psa_crypto_se_driver_hal.data
index ef40e7e..035d79d 100644
--- a/tests/suites/test_suite_psa_crypto_se_driver_hal.data
+++ b/tests/suites/test_suite_psa_crypto_se_driver_hal.data
@@ -27,23 +27,11 @@
 Register SE driver: maximum number of drivers
 register_max:
 
-Key importing mock test
-mock_import:PSA_SUCCESS:PSA_SUCCESS:PSA_SUCCESS
+Key creation smoke test (no p_allocate)
+key_creation_import_export:-1
 
-Key importing mock test: alloc failed
-mock_import:PSA_ERROR_HARDWARE_FAILURE:PSA_SUCCESS:PSA_ERROR_HARDWARE_FAILURE
+Key creation smoke test (p_allocate allows all slots)
+key_creation_import_export:0
 
-Key importing mock test: import failed
-mock_import:PSA_SUCCESS:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
-
-Key exporting mock test
-mock_export:PSA_SUCCESS:PSA_SUCCESS
-
-Key exporting mock test: export failed
-mock_export:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
-
-Key generating mock test
-mock_generate:PSA_SUCCESS:PSA_SUCCESS
-
-Key generating mock test: generating failed
-mock_generate:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
+Key creation smoke test (p_allocate allows 1 slot)
+key_creation_import_export:ARRAY_LENGTH( ram_slots ) - 1
diff --git a/tests/suites/test_suite_psa_crypto_se_driver_hal.function b/tests/suites/test_suite_psa_crypto_se_driver_hal.function
index bfadf3d..33a8c4e 100644
--- a/tests/suites/test_suite_psa_crypto_se_driver_hal.function
+++ b/tests/suites/test_suite_psa_crypto_se_driver_hal.function
@@ -11,141 +11,77 @@
  * This is probably a bug in the library. */
 #define PSA_ERROR_DETECTED_BY_DRIVER ((psa_status_t)( -500 ))
 
-static struct
+#define RAM_MAX_KEY_SIZE 64
+typedef struct
 {
-    uint16_t called;
-    psa_key_slot_number_t key_slot;
-    psa_key_type_t type;
-    psa_key_usage_t usage;
-    size_t bits;
-    size_t extra_size;
-    size_t pubkey_out_size;
-    psa_status_t return_value;
-} mock_generate_data;
-
-static struct
-{
-    uint16_t called;
-    psa_key_slot_number_t slot_number;
     psa_key_lifetime_t lifetime;
     psa_key_type_t type;
-    psa_algorithm_t algorithm;
-    psa_key_usage_t usage;
-    size_t data_length;
-    psa_status_t return_value;
-} mock_import_data;
+    size_t bits;
+    uint8_t content[RAM_MAX_KEY_SIZE];
+} ram_slot_t;
+static ram_slot_t ram_slots[16];
 
-static struct
-{
-    uint16_t called;
-    psa_key_slot_number_t slot_number;
-    size_t data_size;
-    psa_status_t return_value;
-} mock_export_data;
+static uint8_t ram_min_slot = 0;
 
-static struct
+static void ram_slots_reset( void )
 {
-    uint16_t called;
-    psa_status_t return_value;
-} mock_allocate_data;
-
-static struct
-{
-    uint16_t called;
-    psa_key_slot_number_t slot_number;
-    psa_status_t return_value;
-} mock_destroy_data;
-
-static void mock_teardown( void )
-{
-    memset( &mock_import_data, 0, sizeof( mock_import_data ) );
-    memset( &mock_export_data, 0, sizeof( mock_export_data ) );
-    memset( &mock_allocate_data, 0, sizeof( mock_allocate_data ) );
-    memset( &mock_destroy_data, 0, sizeof( mock_destroy_data ) );
-    memset( &mock_generate_data, 0, sizeof( mock_generate_data ) );
+    memset( ram_slots, 0, sizeof( ram_slots ) );
+    ram_min_slot = 0;
 }
 
-static psa_status_t mock_generate( psa_key_slot_number_t key_slot,
-                                   psa_key_type_t type,
-                                   psa_key_usage_t usage,
-                                   size_t bits,
-                                   const void *extra,
-                                   size_t extra_size,
-                                   uint8_t *p_pubkey_out,
-                                   size_t pubkey_out_size,
-                                   size_t *p_pubkey_length )
+static psa_status_t ram_import( psa_key_slot_number_t slot_number,
+                                psa_key_lifetime_t lifetime,
+                                psa_key_type_t type,
+                                psa_algorithm_t algorithm,
+                                psa_key_usage_t usage,
+                                const uint8_t *p_data,
+                                size_t data_length )
 {
-    (void) extra;
-    (void) p_pubkey_out;
-    (void) p_pubkey_length;
-
-    mock_generate_data.called++;
-    mock_generate_data.key_slot = key_slot;
-    mock_generate_data.type = type;
-    mock_generate_data.usage = usage;
-    mock_generate_data.bits = bits;
-    mock_generate_data.extra_size = extra_size;
-    mock_generate_data.pubkey_out_size = pubkey_out_size;
-
-    return( mock_generate_data.return_value );
+    if( slot_number > ARRAY_LENGTH( ram_slots ) )
+        return( PSA_ERROR_DETECTED_BY_DRIVER );
+    if( data_length > sizeof( ram_slots[slot_number].content ) )
+        return( PSA_ERROR_INSUFFICIENT_STORAGE );
+    ram_slots[slot_number].lifetime = lifetime;
+    ram_slots[slot_number].type = type;
+    ram_slots[slot_number].bits = PSA_BYTES_TO_BITS( data_length );
+    (void) algorithm;
+    (void) usage;
+    memcpy( ram_slots[slot_number].content, p_data, data_length );
+    return( PSA_SUCCESS );
 }
 
-static psa_status_t mock_import( psa_key_slot_number_t slot_number,
-                                 psa_key_lifetime_t lifetime,
-                                 psa_key_type_t type,
-                                 psa_algorithm_t algorithm,
-                                 psa_key_usage_t usage,
-                                 const uint8_t *p_data,
-                                 size_t data_length )
+psa_status_t ram_export( psa_key_slot_number_t slot_number,
+                         uint8_t *p_data,
+                         size_t data_size,
+                         size_t *p_data_length )
 {
-    (void) p_data;
-
-    mock_import_data.called++;
-    mock_import_data.slot_number = slot_number;
-    mock_import_data.lifetime = lifetime;
-    mock_import_data.type = type;
-    mock_import_data.algorithm = algorithm;
-    mock_import_data.usage = usage;
-    mock_import_data.data_length = data_length;
-
-    return( mock_import_data.return_value );
+    size_t actual_size;
+    if( slot_number > ARRAY_LENGTH( ram_slots ) )
+        return( PSA_ERROR_DETECTED_BY_DRIVER );
+    actual_size = PSA_BITS_TO_BYTES( ram_slots[slot_number].bits );
+    if( actual_size > data_size )
+        return( PSA_ERROR_BUFFER_TOO_SMALL );
+    *p_data_length = actual_size;
+    memcpy( p_data, ram_slots[slot_number].content, actual_size );
+    return( PSA_SUCCESS );
 }
 
-psa_status_t mock_export( psa_key_slot_number_t slot_number,
-                          uint8_t *p_data,
-                          size_t data_size,
-                          size_t *p_data_length )
+psa_status_t ram_destroy( psa_key_slot_number_t slot_number )
 {
-    (void) p_data;
-    (void) p_data_length;
-
-    mock_export_data.called++;
-    mock_export_data.slot_number = slot_number;
-    mock_export_data.data_size = data_size;
-
-    return( mock_export_data.return_value );
+    if( slot_number > ARRAY_LENGTH( ram_slots ) )
+        return( PSA_ERROR_DETECTED_BY_DRIVER );
+    memset( &ram_slots[slot_number], 0, sizeof( ram_slots[slot_number] ) );
+    return( PSA_SUCCESS );
 }
 
-psa_status_t mock_allocate( const psa_key_attributes_t *attributes,
+psa_status_t ram_allocate( const psa_key_attributes_t *attributes,
                            const psa_drv_se_slot_usage_t *slot_usage,
                            psa_key_slot_number_t *slot_number )
 {
     (void) attributes;
-    (void) slot_usage;
-    (void) slot_number;
-
-    mock_allocate_data.called++;
-    *slot_number = 0;
-
-    return( mock_allocate_data.return_value );
-}
-
-psa_status_t mock_destroy( psa_key_slot_number_t slot_number )
-{
-    mock_destroy_data.called++;
-    mock_destroy_data.slot_number = slot_number;
-
-    return( mock_destroy_data.return_value );
+    return( psa_drv_cb_find_free_slot( slot_usage,
+                                       ram_min_slot, -1,
+                                       slot_number ) );
 }
 
 /* END_HEADER */
@@ -221,59 +157,7 @@
 /* END_CASE */
 
 /* BEGIN_CASE */
-void mock_import( int mock_alloc_return_value,
-                  int mock_import_return_value,
-                  int expected_result)
-{
-    psa_drv_se_t driver;
-    psa_drv_se_key_management_t key_management;
-    psa_key_lifetime_t lifetime = 2;
-    psa_key_id_t id = 1;
-    psa_key_handle_t handle = 0;
-    psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
-    const uint8_t key_material[3] = {0xfa, 0xca, 0xde};
-
-    mock_allocate_data.return_value = mock_alloc_return_value;
-    mock_import_data.return_value = mock_import_return_value;
-    memset( &driver, 0, sizeof( driver ) );
-    memset( &key_management, 0, sizeof( key_management ) );
-    driver.hal_version = PSA_DRV_SE_HAL_VERSION;
-    driver.key_management = &key_management;
-    key_management.slot_count = 1;
-    key_management.p_import = mock_import;
-    key_management.p_destroy = mock_destroy;
-    key_management.p_allocate = mock_allocate;
-
-    PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
-    PSA_ASSERT( psa_crypto_init( ) );
-
-    psa_set_key_id( &attributes, id );
-    psa_set_key_lifetime( &attributes, lifetime );
-    psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_EXPORT );
-    psa_set_key_type( &attributes, PSA_KEY_TYPE_RAW_DATA );
-    TEST_ASSERT( psa_import_key( &attributes,
-                                key_material, sizeof( key_material ),
-                                &handle ) == expected_result );
-
-    TEST_ASSERT( mock_allocate_data.called == 1 );
-    TEST_ASSERT( mock_import_data.called ==
-                  (expected_result == PSA_SUCCESS? 1 : 0) );
-    TEST_ASSERT( mock_import_data.type ==
-                  (expected_result == PSA_SUCCESS? PSA_KEY_TYPE_RAW_DATA : 0));
-
-    if( expected_result == PSA_SUCCESS )
-    {
-        PSA_ASSERT( psa_destroy_key( handle ) );
-        TEST_ASSERT( mock_destroy_data.called == 1 );
-    }
-exit:
-    PSA_DONE( );
-    mock_teardown( );
-}
-/* END_CASE */
-
-/* BEGIN_CASE */
-void mock_export( int mock_export_return_value, int expected_result )
+void key_creation_import_export( int min_slot )
 {
     psa_drv_se_t driver;
     psa_drv_se_key_management_t key_management;
@@ -284,17 +168,21 @@
     const uint8_t key_material[3] = {0xfa, 0xca, 0xde};
     uint8_t exported[sizeof( key_material )];
     size_t exported_length;
+    psa_key_slot_number_t expected_slot = ( min_slot >= 0 ? min_slot : 0 );
 
-    mock_export_data.return_value = mock_export_return_value;
     memset( &driver, 0, sizeof( driver ) );
     memset( &key_management, 0, sizeof( key_management ) );
     driver.hal_version = PSA_DRV_SE_HAL_VERSION;
     driver.key_management = &key_management;
-    key_management.slot_count = 1;
-    key_management.p_import = mock_import;
-    key_management.p_export = mock_export;
-    key_management.p_destroy = mock_destroy;
-    key_management.p_allocate = mock_allocate;
+    key_management.slot_count = ARRAY_LENGTH( ram_slots );
+    key_management.p_import = ram_import;
+    key_management.p_export = ram_export;
+    key_management.p_destroy = ram_destroy;
+    if( min_slot >= 0 )
+    {
+        key_management.p_allocate = ram_allocate;
+        ram_min_slot = min_slot;
+    }
 
     PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
     PSA_ASSERT( psa_crypto_init( ) );
@@ -307,54 +195,22 @@
                                 key_material, sizeof( key_material ),
                                 &handle ) );
 
-    TEST_ASSERT( psa_export_key( handle,
-                                exported, sizeof( exported ),
-                                &exported_length ) == expected_result );
+    /* Test that the key was created in the designated slot. */
+    TEST_ASSERT( ram_slots[expected_slot].type == PSA_KEY_TYPE_RAW_DATA );
 
-    TEST_ASSERT( mock_export_data.called == 1 );
+    PSA_ASSERT( psa_export_key( handle,
+                                exported, sizeof( exported ),
+                                &exported_length ) );
+    ASSERT_COMPARE( key_material, sizeof( key_material ),
+                    exported, exported_length );
 
     PSA_ASSERT( psa_destroy_key( handle ) );
 
-    TEST_ASSERT( mock_destroy_data.called == 1 );
+    /* Test that the key has been erased from the designated slot. */
+    TEST_ASSERT( ram_slots[expected_slot].type == 0 );
 
 exit:
     PSA_DONE( );
-    mock_teardown( );
-}
-/* END_CASE */
-
-/* BEGIN_CASE */
-void mock_generate( int mock_generate_return_value, int expected_result )
-{
-    psa_drv_se_t driver;
-    psa_drv_se_key_management_t key_management;
-    psa_key_lifetime_t lifetime = 2;
-    psa_key_id_t id = 1;
-    psa_key_handle_t handle = 0;
-    psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
-
-    mock_generate_data.return_value = mock_generate_return_value;
-    memset( &driver, 0, sizeof( driver ) );
-    memset( &key_management, 0, sizeof( key_management ) );
-    driver.hal_version = PSA_DRV_SE_HAL_VERSION;
-    driver.key_management = &key_management;
-    key_management.slot_count = 1;
-    key_management.p_generate = mock_generate;
-    key_management.p_destroy = mock_destroy;
-    key_management.p_allocate = mock_allocate;
-
-    PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
-    PSA_ASSERT( psa_crypto_init( ) );
-
-    psa_set_key_id( &attributes, id );
-    psa_set_key_lifetime( &attributes, lifetime );
-    psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_EXPORT );
-    psa_set_key_type( &attributes, PSA_KEY_TYPE_RAW_DATA );
-    TEST_ASSERT( psa_generate_key( &attributes, &handle ) == expected_result );
-    TEST_ASSERT( mock_generate_data.called == 1 );
-
-exit:
-    PSA_DONE( );
-    mock_teardown( );
+    ram_slots_reset( );
 }
 /* END_CASE */
diff --git a/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.data b/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.data
new file mode 100644
index 0000000..7cdbc71
--- /dev/null
+++ b/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.data
@@ -0,0 +1,20 @@
+Key importing mock test
+mock_import:PSA_SUCCESS:PSA_SUCCESS:PSA_SUCCESS
+
+Key importing mock test: alloc failed
+mock_import:PSA_ERROR_HARDWARE_FAILURE:PSA_SUCCESS:PSA_ERROR_HARDWARE_FAILURE
+
+Key importing mock test: import failed
+mock_import:PSA_SUCCESS:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
+
+Key exporting mock test
+mock_export:PSA_SUCCESS:PSA_SUCCESS
+
+Key exporting mock test: export failed
+mock_export:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
+
+Key generating mock test
+mock_generate:PSA_SUCCESS:PSA_SUCCESS
+
+Key generating mock test: generating failed
+mock_generate:PSA_ERROR_HARDWARE_FAILURE:PSA_ERROR_HARDWARE_FAILURE
diff --git a/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.function b/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.function
new file mode 100644
index 0000000..58f8aa4
--- /dev/null
+++ b/tests/suites/test_suite_psa_crypto_se_driver_hal_mocks.function
@@ -0,0 +1,288 @@
+/* BEGIN_HEADER */
+#include "psa_crypto_helpers.h"
+#include "psa/crypto_se_driver.h"
+
+#include "psa_crypto_se.h"
+
+static struct
+{
+    uint16_t called;
+    psa_key_slot_number_t key_slot;
+    psa_key_type_t type;
+    psa_key_usage_t usage;
+    size_t bits;
+    size_t extra_size;
+    size_t pubkey_out_size;
+    psa_status_t return_value;
+} mock_generate_data;
+
+static struct
+{
+    uint16_t called;
+    psa_key_slot_number_t slot_number;
+    psa_key_lifetime_t lifetime;
+    psa_key_type_t type;
+    psa_algorithm_t algorithm;
+    psa_key_usage_t usage;
+    size_t data_length;
+    psa_status_t return_value;
+} mock_import_data;
+
+static struct
+{
+    uint16_t called;
+    psa_key_slot_number_t slot_number;
+    size_t data_size;
+    psa_status_t return_value;
+} mock_export_data;
+
+static struct
+{
+    uint16_t called;
+    psa_status_t return_value;
+} mock_allocate_data;
+
+static struct
+{
+    uint16_t called;
+    psa_key_slot_number_t slot_number;
+    psa_status_t return_value;
+} mock_destroy_data;
+
+static void mock_teardown( void )
+{
+    memset( &mock_import_data, 0, sizeof( mock_import_data ) );
+    memset( &mock_export_data, 0, sizeof( mock_export_data ) );
+    memset( &mock_allocate_data, 0, sizeof( mock_allocate_data ) );
+    memset( &mock_destroy_data, 0, sizeof( mock_destroy_data ) );
+    memset( &mock_generate_data, 0, sizeof( mock_generate_data ) );
+}
+
+static psa_status_t mock_generate( psa_key_slot_number_t key_slot,
+                                   psa_key_type_t type,
+                                   psa_key_usage_t usage,
+                                   size_t bits,
+                                   const void *extra,
+                                   size_t extra_size,
+                                   uint8_t *p_pubkey_out,
+                                   size_t pubkey_out_size,
+                                   size_t *p_pubkey_length )
+{
+    (void) extra;
+    (void) p_pubkey_out;
+    (void) p_pubkey_length;
+
+    mock_generate_data.called++;
+    mock_generate_data.key_slot = key_slot;
+    mock_generate_data.type = type;
+    mock_generate_data.usage = usage;
+    mock_generate_data.bits = bits;
+    mock_generate_data.extra_size = extra_size;
+    mock_generate_data.pubkey_out_size = pubkey_out_size;
+
+    return( mock_generate_data.return_value );
+}
+
+static psa_status_t mock_import( psa_key_slot_number_t slot_number,
+                                 psa_key_lifetime_t lifetime,
+                                 psa_key_type_t type,
+                                 psa_algorithm_t algorithm,
+                                 psa_key_usage_t usage,
+                                 const uint8_t *p_data,
+                                 size_t data_length )
+{
+    (void) p_data;
+
+    mock_import_data.called++;
+    mock_import_data.slot_number = slot_number;
+    mock_import_data.lifetime = lifetime;
+    mock_import_data.type = type;
+    mock_import_data.algorithm = algorithm;
+    mock_import_data.usage = usage;
+    mock_import_data.data_length = data_length;
+
+    return( mock_import_data.return_value );
+}
+
+psa_status_t mock_export( psa_key_slot_number_t slot_number,
+                          uint8_t *p_data,
+                          size_t data_size,
+                          size_t *p_data_length )
+{
+    (void) p_data;
+    (void) p_data_length;
+
+    mock_export_data.called++;
+    mock_export_data.slot_number = slot_number;
+    mock_export_data.data_size = data_size;
+
+    return( mock_export_data.return_value );
+}
+
+psa_status_t mock_allocate( const psa_key_attributes_t *attributes,
+                           const psa_drv_se_slot_usage_t *slot_usage,
+                           psa_key_slot_number_t *slot_number )
+{
+    (void) attributes;
+    (void) slot_usage;
+    (void) slot_number;
+
+    mock_allocate_data.called++;
+    *slot_number = 0;
+
+    return( mock_allocate_data.return_value );
+}
+
+psa_status_t mock_destroy( psa_key_slot_number_t slot_number )
+{
+    mock_destroy_data.called++;
+    mock_destroy_data.slot_number = slot_number;
+
+    return( mock_destroy_data.return_value );
+}
+
+/* END_HEADER */
+
+/* BEGIN_DEPENDENCIES
+ * depends_on:MBEDTLS_PSA_CRYPTO_SE_C
+ * END_DEPENDENCIES
+ */
+
+/* BEGIN_CASE */
+void mock_import( int mock_alloc_return_value,
+                  int mock_import_return_value,
+                  int expected_result)
+{
+    psa_drv_se_t driver;
+    psa_drv_se_key_management_t key_management;
+    psa_key_lifetime_t lifetime = 2;
+    psa_key_id_t id = 1;
+    psa_key_handle_t handle = 0;
+    psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
+    const uint8_t key_material[3] = {0xfa, 0xca, 0xde};
+
+    mock_allocate_data.return_value = mock_alloc_return_value;
+    mock_import_data.return_value = mock_import_return_value;
+    memset( &driver, 0, sizeof( driver ) );
+    memset( &key_management, 0, sizeof( key_management ) );
+    driver.hal_version = PSA_DRV_SE_HAL_VERSION;
+    driver.key_management = &key_management;
+    key_management.slot_count = 1;
+    key_management.p_import = mock_import;
+    key_management.p_destroy = mock_destroy;
+    key_management.p_allocate = mock_allocate;
+
+    PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
+    PSA_ASSERT( psa_crypto_init( ) );
+
+    psa_set_key_id( &attributes, id );
+    psa_set_key_lifetime( &attributes, lifetime );
+    psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_EXPORT );
+    psa_set_key_type( &attributes, PSA_KEY_TYPE_RAW_DATA );
+    TEST_ASSERT( psa_import_key( &attributes,
+                                key_material, sizeof( key_material ),
+                                &handle ) == expected_result );
+
+    TEST_ASSERT( mock_allocate_data.called == 1 );
+    TEST_ASSERT( mock_import_data.called ==
+                  (expected_result == PSA_SUCCESS? 1 : 0) );
+    TEST_ASSERT( mock_import_data.type ==
+                  (expected_result == PSA_SUCCESS? PSA_KEY_TYPE_RAW_DATA : 0));
+
+    if( expected_result == PSA_SUCCESS )
+    {
+        PSA_ASSERT( psa_destroy_key( handle ) );
+        TEST_ASSERT( mock_destroy_data.called == 1 );
+    }
+exit:
+    PSA_DONE( );
+    mock_teardown( );
+}
+/* END_CASE */
+
+/* BEGIN_CASE */
+void mock_export( int mock_export_return_value, int expected_result )
+{
+    psa_drv_se_t driver;
+    psa_drv_se_key_management_t key_management;
+    psa_key_lifetime_t lifetime = 2;
+    psa_key_id_t id = 1;
+    psa_key_handle_t handle = 0;
+    psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
+    const uint8_t key_material[3] = {0xfa, 0xca, 0xde};
+    uint8_t exported[sizeof( key_material )];
+    size_t exported_length;
+
+    mock_export_data.return_value = mock_export_return_value;
+    memset( &driver, 0, sizeof( driver ) );
+    memset( &key_management, 0, sizeof( key_management ) );
+    driver.hal_version = PSA_DRV_SE_HAL_VERSION;
+    driver.key_management = &key_management;
+    key_management.slot_count = 1;
+    key_management.p_import = mock_import;
+    key_management.p_export = mock_export;
+    key_management.p_destroy = mock_destroy;
+    key_management.p_allocate = mock_allocate;
+
+    PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
+    PSA_ASSERT( psa_crypto_init( ) );
+
+    psa_set_key_id( &attributes, id );
+    psa_set_key_lifetime( &attributes, lifetime );
+    psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_EXPORT );
+    psa_set_key_type( &attributes, PSA_KEY_TYPE_RAW_DATA );
+    PSA_ASSERT( psa_import_key( &attributes,
+                                key_material, sizeof( key_material ),
+                                &handle ) );
+
+    TEST_ASSERT( psa_export_key( handle,
+                                exported, sizeof( exported ),
+                                &exported_length ) == expected_result );
+
+    TEST_ASSERT( mock_export_data.called == 1 );
+
+    PSA_ASSERT( psa_destroy_key( handle ) );
+
+    TEST_ASSERT( mock_destroy_data.called == 1 );
+
+exit:
+    PSA_DONE( );
+    mock_teardown( );
+}
+/* END_CASE */
+
+/* BEGIN_CASE */
+void mock_generate( int mock_generate_return_value, int expected_result )
+{
+    psa_drv_se_t driver;
+    psa_drv_se_key_management_t key_management;
+    psa_key_lifetime_t lifetime = 2;
+    psa_key_id_t id = 1;
+    psa_key_handle_t handle = 0;
+    psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
+
+    mock_generate_data.return_value = mock_generate_return_value;
+    memset( &driver, 0, sizeof( driver ) );
+    memset( &key_management, 0, sizeof( key_management ) );
+    driver.hal_version = PSA_DRV_SE_HAL_VERSION;
+    driver.key_management = &key_management;
+    key_management.slot_count = 1;
+    key_management.p_generate = mock_generate;
+    key_management.p_destroy = mock_destroy;
+    key_management.p_allocate = mock_allocate;
+
+    PSA_ASSERT( psa_register_se_driver( lifetime, &driver ) );
+    PSA_ASSERT( psa_crypto_init( ) );
+
+    psa_set_key_id( &attributes, id );
+    psa_set_key_lifetime( &attributes, lifetime );
+    psa_set_key_usage_flags( &attributes, PSA_KEY_USAGE_EXPORT );
+    psa_set_key_type( &attributes, PSA_KEY_TYPE_RAW_DATA );
+    TEST_ASSERT( psa_generate_key( &attributes, &handle ) == expected_result );
+    TEST_ASSERT( mock_generate_data.called == 1 );
+
+exit:
+    PSA_DONE( );
+    mock_teardown( );
+}
+/* END_CASE */