Media Manager Namespaces Choose namespace [root] internal people private public publications pdf research undefined wiki Media Files Media Files Upload Search Files in publications Thumbnails Rows Name Date Apply Nothing was found. File View History public:papers:javacard_api_constants.pdf Date:2023-11-10 15:20 Filename:javacard_api_constants.pdf Size:704KB References for:The adoption rate of JavaCard features by certified products and open-source projects [CARDIS 2023]