SPARKSkein: A Formal and Fast Reference Implementation of Skein. - Roderick Chapman; Eric Botcazou; Angela Wallenburg (SBMF, 2011)

Lady Ada Mediates Peace Treaty in Endianness War. - Thomas Quinot; Eric Botcazou (Ada-Europe, 2013)