Add some Idemix works to publication pages

_includes/publications.md

@@ -131,3 +131,17 @@
   O. Markowitch et al., Information Security Theory and
   Practice. Springer LNCS 5746, 2009, p.95-111.
   [Paper](http://www.cs.ru.nl/~tews/wistp-09/performance-issues.pdf).
+
+### Idemix
+
+* Jan Camenisch and Anna Lysyanskaya.
+  *An Efficient System for Non-transferable Anonymous Credentials
+  with Optional Anonymity Revocation*. In: Advances in Cryptology — EUROCRYPT
+  2001, B. Pfitzmann, editor, LNCS 2045, Springer Berlin Heidelberg, 2001.
+  [ePrint](https://eprint.iacr.org/2001/019)
+
+* IBM. *Specification of the Identity Mixer Cryptographic Library (Revised version 2.3.0)*.
+  [Link](http://domino.research.ibm.com/library/cyberdig.nsf/1e4115aea78b6e7c85256b360066f0d4/eeb54ff3b91c1d648525759b004fbbb1?OpenDocument).
+
+* Gergely Alpár. *Cryptography fact sheet about Idemix's basic proof techniques*.
+  [PDF](/pdf/idemix_overview.pdf)
\ No newline at end of file

pages/en/publications.md

 ---
 layout: page
-title: IRMA academic Publications
+title: IRMA Academic Publications
 meta_title: Publications
 header:
   image_fullwidth: header_unsplash_4.jpg
@@ -14,12 +14,9 @@ translations:
 This page collects, in reverse chronological order, scientific
 publications about the IRMA ecosystem, mostly written by researchers
 from the [Digital Security Group](http://www.ru.nl/ds/) of Radboud
-University, Nijmegen. The cryptographic techniques underlying IRMA
-have been developed by IBM Research in Zürich, under the name
-[Idemix](https://idemix.wordpress.com/), short for *Identity Mixer*,
-see this [brief
-summary](https://www.irmacard.org/wp-content/uploads/2013/02/Idemix_overview.pdf)
-of the relevant parts that are used for IRMA.
+University, Nijmegen. In addition, although they are not from Radboud
+University's Digital Security Group, a number of publications Idemix 
+(the cryptographic basis of IRMA) are included at the bottom of this page.
 
 {% capture pubs %}{% include publications.md %}{% endcapture %}
 {{ pubs | markdownify }}

pages/publicaties.md

@@ -14,11 +14,9 @@ translations:
 Op deze pagina staan (in omgekeerd chronologische volgorde) wetenschappelijke
 publicaties over het IRMA ecosysteem, vooral geschreven door onderzoekers van
 de [Digital Security Group](http://www.ru.nl/ds/) van de Radboud universiteit,
-Nijmegen. Het cryptografische fundament van IRMA is ontwikkeld door IBM
-Research in Zürich, en heet [Idemix](https://idemix.wordpress.com/)
-(een afkorting van *Identity Mixer*), zie deze
-[korte samenvatting](https://www.irmacard.org/wp-content/uploads/2013/02/Idemix_overview.pdf)
-van de relevante delen die voor IRMA gebruikt worden.
+Nijmegen. Daarnaast is onderaan deze pagina een aantal publicaties (niet
+afkomstig van de Digital Security Group van de Radboud Universiteit) opgenomen
+over Idemix, het cryptografische fundament van IRMA.
 
 {% capture pubs %}{% include publications.md %}{% endcapture %}
 {{ pubs | markdownify }}