diff --git a/modules/passkey/certora/confs/GetConfigurationConf.conf b/modules/passkey/certora/confs/GetConfigurationConf.conf
index 20aebd2f..12bdb572 100644
--- a/modules/passkey/certora/confs/GetConfigurationConf.conf
+++ b/modules/passkey/certora/confs/GetConfigurationConf.conf
@@ -1,9 +1,9 @@
 {
 	"assert_autofinder_success": true,
 	"files": [
-		"certora/munged/SafeWebAuthnSignerSingleton.sol",
-		"certora/harnesses/GetConfigurationProxyHarness.sol",
-		"modules/passkey/contracts/SafeWebAuthnSignerFactory.sol"
+		"../munged/SafeWebAuthnSignerSingleton.sol",
+		"../harnesses/GetConfigurationProxyHarness.sol",
+		"../../contracts/SafeWebAuthnSignerFactory.sol"
 	],
 	"link": [
 		"GetConfigurationProxyHarness:_SINGLETON=SafeWebAuthnSignerSingleton"
diff --git a/modules/passkey/certora/confs/GetSigner.conf b/modules/passkey/certora/confs/GetSigner.conf
index b5e6ef93..982d9bf2 100644
--- a/modules/passkey/certora/confs/GetSigner.conf
+++ b/modules/passkey/certora/confs/GetSigner.conf
@@ -1,9 +1,9 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/GetSignerHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/GetSignerHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "hashing_length_bound": "4694",
     "link": [
diff --git a/modules/passkey/certora/confs/ProxySimulator.conf b/modules/passkey/certora/confs/ProxySimulator.conf
index c70bb3af..7bbf9bd4 100644
--- a/modules/passkey/certora/confs/ProxySimulator.conf
+++ b/modules/passkey/certora/confs/ProxySimulator.conf
@@ -1,11 +1,11 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/ProxySimulator.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/ProxySimulator.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "2048",
     "link": [
diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf
index 33490caf..c1655aae 100644
--- a/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf
+++ b/modules/passkey/certora/confs/SafeWebAuthnSignerFactory.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/FactoryHarnessForSignerConsistency.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/FactoryHarnessForSignerConsistency.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "FactoryHarnessForSignerConsistency:SINGLETON=SafeWebAuthnSignerSingleton"
diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf
index 2affd152..e5594965 100644
--- a/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf
+++ b/modules/passkey/certora/confs/SafeWebAuthnSignerProxy.conf
@@ -1,9 +1,9 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol"
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol"
     ],
     "link": [
         "SafeWebAuthnSignerProxy:_VERIFIERS=P256",
diff --git a/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf b/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf
index 892ba415..c2c6bb2e 100644
--- a/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf
+++ b/modules/passkey/certora/confs/SafeWebAuthnSignerSingleton.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../../contracts/SafeWebAuthnSignerFactory.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "link": [
         "SafeWebAuthnSignerFactory:SINGLETON=SafeWebAuthnSignerSingleton"
diff --git a/modules/passkey/certora/confs/SignerCreationCantOverride.conf b/modules/passkey/certora/confs/SignerCreationCantOverride.conf
index 5ca4866b..1304c19a 100644
--- a/modules/passkey/certora/confs/SignerCreationCantOverride.conf
+++ b/modules/passkey/certora/confs/SignerCreationCantOverride.conf
@@ -4,11 +4,11 @@
         "createAndVerifyEQtoIsValidSignatureForSigner"
     ],
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "912",
     "link": [
diff --git a/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf b/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf
index 967f03bf..98f6880b 100644
--- a/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf
+++ b/modules/passkey/certora/confs/SingletonIsValidSignatureRevertingConditions.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "modules/passkey/contracts/SafeWebAuthnSignerFactory.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/libraries/P256.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../../contracts/SafeWebAuthnSignerFactory.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/libraries/P256.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "loop_iter": "6",
     "optimistic_hashing": true,
diff --git a/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf b/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf
index a1be3ce2..1b45ae3b 100644
--- a/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf
+++ b/modules/passkey/certora/confs/ValidSignatureForSignerIntegrity.conf
@@ -1,10 +1,10 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerProxy.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../../contracts/SafeWebAuthnSignerProxy.sol"
     ],
     "link": [
         "SafeWebAuthnSignerFactoryHarness:SINGLETON=SafeWebAuthnSignerSingleton"
diff --git a/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf b/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf
index d0700ebb..da043f02 100644
--- a/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf
+++ b/modules/passkey/certora/confs/VerifyEQtoIsValidSignatureForSigner.conf
@@ -2,11 +2,11 @@
     "assert_autofinder_success": true,
     "dynamic_bound": "1",
     "files": [
-        "certora/harnesses/SafeWebAuthnSignerFactoryHarness.sol",
-        "modules/passkey/contracts/SafeWebAuthnSignerSingleton.sol",
-        "certora/munged/SafeWebAuthnSignerProxy.sol",
-        "certora/munged/WebAuthn.sol",
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/SafeWebAuthnSignerFactoryHarness.sol",
+        "../../contracts/SafeWebAuthnSignerSingleton.sol",
+        "../munged/SafeWebAuthnSignerProxy.sol",
+        "../munged/WebAuthn.sol",
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "hashing_length_bound": "906",
     "link": [
diff --git a/modules/passkey/certora/confs/WebAuthn.conf b/modules/passkey/certora/confs/WebAuthn.conf
index 1000b685..da0df523 100644
--- a/modules/passkey/certora/confs/WebAuthn.conf
+++ b/modules/passkey/certora/confs/WebAuthn.conf
@@ -1,7 +1,7 @@
 {
     "assert_autofinder_success": true,
     "files": [
-        "certora/harnesses/WebAuthnHarnessWithMunge.sol"
+        "../harnesses/WebAuthnHarnessWithMunge.sol"
     ],
     "loop_iter": "6",
     "optimistic_hashing": true,