Skip to primary content
Skip to secondary content

APTE

Algorithm for Proving Trace Equivalence

APTE

Main menu

  • Home
  • Documentation
  • Tutorial
  • Download
  • Examples
  • Mailing list
  • Publications

Monthly Archives: June 2013

Attack on the unlinkability of the e-passport

Posted on 04/06/2013 by Vincent Cheval

A webpage describing an attack on the unlinkability of the e-passport is online and available at
http://www.loria.fr/~glondu/epassport/attaque-tailles.html. This webpage is only available in french so far.

The attack was formally described in the recent paper presented at CAV 2013 (see previous post).

Posted in General

Recent Posts

  • ETAPS 2014
  • Happy new year! 2014 starts well with a new publication!
  • Release v0.4beta : Time for some statistics !
  • GitHub repository and new contributor
  • Minor release: APTE v0.3.2beta

Archives

  • April 2014
  • January 2014
  • December 2013
  • October 2013
  • June 2013
  • April 2013
  • March 2013

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org

Project Leader

Vincent Cheval

Project Members

Lucca Hirschi

Mailing list

apte@lsv.ens-cachan.fr
Proudly powered by WordPress