Update Spotlight [Information] Tamarin Prover

added Software Spotlight label

Requested reference update via mail by @demme:

One request for change: currently, the “cite” link points to the wrong paper. Can you please change this to: https://link.springer.com/chapter/10.1007/978-3-642-39799-8_48

created branch 369-update-spotlight-information-tamarin-prover to address this issue

mentioned in merge request !635 (merged)

closed with merge request !635 (merged)

mentioned in commit 7ce6bd96