If you have any questions about REGICE or would like to know more about the technology behind the tool please do not hesitate to contact us!
Chetan Arora
4 rue Alphonse Weicker,
Interdisciplinary Centre for Security, Reliability and Trust
L-2721, Luxembourg
E-mail: chetan(dot)arora(at)uni(dot)lu