https://javacard.vetilles.com/2012/09/20/chip-to-cloud-day-2-automated-analysis-of-java-card-applets/ A weblog on Java Card, security, and other things personal Thu, 18 May 2017 07:26:32 +0000 hourly 1 https://wordpress.org/?v=4.0.32 https://javacard.vetilles.com/2012/09/20/chip-to-cloud-day-2-automated-analysis-of-java-card-applets/#comment-14316 Tue, 16 Dec 2014 15:40:08 +0000 http://javacard.vetilles.com/2012/09/20/chip-to-cloud-day-2-automated-analysis-of-java-card-applets/#comment-14316 Yes, Arya security is gone. I am not sure how to get access to the technology, but you will have to contact the University of Limoges’s Computer Science Department.

]]> https://javacard.vetilles.com/2012/09/20/chip-to-cloud-day-2-automated-analysis-of-java-card-applets/#comment-14315 Tue, 16 Dec 2014 14:38:41 +0000 http://javacard.vetilles.com/2012/09/20/chip-to-cloud-day-2-automated-analysis-of-java-card-applets/#comment-14315 Link to Arya Security is not working for me. Can you please tell me where to look for this.

]]>