Securing Operating System Services Based on Smart Cards. - Luigi Catuogno; Roberto Gassirà; Michele Masullo; Ivan Visconti (TrustBus, 2005)

SmartK: Smart cards in operating systems at kernel level. - Luigi Catuogno; Roberto Gassirà; Michele Masullo; Ivan Visconti (Inf. Secur. Tech. Rep., 2013)