diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 91b2902b020fa8d1ce5a3783c742f9f079a44375..302dc3c794dafbdec2c99a9322f34035600c636e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,9 +11,9 @@ publish:
   stage: deploy
   image: eclipse-temurin:8
   script:
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in secring.gpg.enc -out secring.gpg
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in pubring.gpg.enc -out pubring.gpg
-    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -md md5 -in gradle.properties.enc -out gradle.properties
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in gradle.properties.enc -out gradle.properties
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in pubring.gpg.enc -out pubring.gpg
+    - openssl aes-256-cbc -pass "env:ENCRYPTION_PASSWORD" -d -a -md md5 -in secring.gpg.enc -out secring.gpg
     - ./gradlew ${GRADLE_OPTIONS} uploadArchives
   only:
     - master@general/stups/rodin_eventb_ast
diff --git a/build.gradle b/build.gradle
index ae3af3e91f8870044279ef7b3992f5917c4b9589..882b2328b0b5d47af5c71480c21188e65b861d78 100644
--- a/build.gradle
+++ b/build.gradle
@@ -95,6 +95,8 @@ artifacts {
     archives javadocJar, sourcesJar
 }
 
+ext."signing.secretKeyRingFile" = rootProject.file("secring.gpg").absolutePath
+
 signing {
     sign configurations.archives
 }
diff --git a/gradle.properties.enc b/gradle.properties.enc
index 2525ff8a7575381ead7de4a9b1674e6965f46524..83e084509404a88a304c64f23a26e07bf592c44d 100644
--- a/gradle.properties.enc
+++ b/gradle.properties.enc
@@ -1 +1,5 @@
-Salted__#���Z�䛾7������{j������;�j��SVGӇIzqs���9kx�y�-��2�TJ�9��m/�r���C�O�;<S+/_ 9�ȅ�	�5y���H�OӉ��&k�q�фS%�?>р��c�ƾl�w���Ɵg�n�
���a/�^��>�����=�0aY]� ��q>ݘ�X��=�)Qy�+jcu��b1u�増�}"LE7C��za
�\	�
\ No newline at end of file
+U2FsdGVkX18nOHLNyyzYk3lwSF0IGgXp8ubFJuMWOPaMbTBmgRPWS/jQT4LO17HP
+W5yqIb+NzcYqzLBohg9s9r4XFyoS5ic3TIyPp87IXzgWNh3gKV+F+DfbggwMjiyJ
+0gZI+90cmkWXBDW7c3JijLOX2f0NATwuiwHFPau3FCKC0cp7uOArtqkbfZau2how
+oP8hzzAue50fahPuBfg8h3OtofJW9x9UCUxxD/NXzD8VZFQabICUjI8mcjEcvaea
+MqQn9JuoekIRPDUsUwZ9Er07OkzKXHB5c968S3DUP3w=
diff --git a/pubring.gpg.enc b/pubring.gpg.enc
index 31f08086dfd40344ce16521f389f1c313fd43d2a..fb1dfb132bd34d077723753821aefdc42be64bc2 100644
Binary files a/pubring.gpg.enc and b/pubring.gpg.enc differ
diff --git a/secring.gpg.enc b/secring.gpg.enc
index 6c587abf9a8395804e5b573fd6fcf331870e333c..048652a825198ed70f778f2b82600b83be9d5d3e 100644
Binary files a/secring.gpg.enc and b/secring.gpg.enc differ