submissions. The papers are organized in topical sections on Java card security,