Tools and libraries for smart cards