--- a/metadata/metadata
+++ b/metadata/metadata
@@ -3,7 +3,8 @@
 author = Fabian Immler <mailto:immler@in.tum.de>
 topic = Computer Science/Programming Languages/Static Analysis
 date = 2011-01-10
-abstract = Functional Specification of the cryptographic hash-function RIPEMD-160 in Isabelle/HOL. Implementation in SPARK/ADA. Verification of its functional correctness with proofs for the verification conditions generated by the static-analysis toolset of SPARK, translated to Isabelle/HOL.
+abstract = This work presents a verification of an implementation in SPARK/ADA of the cryptographic hash-function RIPEMD-160. A functional specification of RIPEMD-160 is given in Isabelle/HOL. Proofs for the verification conditions generated by the static-analysis toolset of SPARK certify the functional correctness of the implementation.
+
 
 [Regular-Sets]
 title = Regular Sets and Expressions