Pierre Paradinas Smart Card Operating Systems: Overview and Trends. 2001 conf/hotos/2001 HotOS db/conf/hotos/hotos2001.html#Paradinas01