diff --git a/Privacy_Properties/privacy_properties.md b/Privacy_Properties/README.md
similarity index 100%
rename from Privacy_Properties/privacy_properties.md
rename to Privacy_Properties/README.md
diff --git a/Security_Properties/security_properties.md b/Security_Properties/README.md
similarity index 100%
rename from Security_Properties/security_properties.md
rename to Security_Properties/README.md
diff --git a/Security_Properties/Tamarin_1_6_1/security_properties.md b/Security_Properties/Tamarin_1_6_1/README.md
similarity index 100%
rename from Security_Properties/Tamarin_1_6_1/security_properties.md
rename to Security_Properties/Tamarin_1_6_1/README.md