Backlinks This is a list of pages that seem to link back to the current page. RNDr. Martin Ukropdoc. Petr Švenda Ph.D. (associate professor)Job offerings - CRoCSThe adoption rate of JavaCard features by certified products and open-source projects [CARDIS 2023]JCMathLib: Wrapper Cryptographic Library for Transparent and Certifiable JavaCard Applets [CyberCert 2020]JCAlgTest: Robust identification metadata for certified smartcards [SECRYPT 2022]Enabling Efficient Threshold Signature Computation via Java Card API [ARES 2023]Large-scale randomness study of security margins for 100+ cryptographic functions [SECRYPT 2022]SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signatures [SECRYPT 2022]TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips [CHES 2024]Adam JanovskyAndrea CerulliAndriy StetskoAntonin DufkaDan CvrcekDavid FormanekDavid KomarekDusan KlinecFilip JurneckaGeorge DanezisImrich NagyJan JancarJiri KurJiri MichalikJiri NovotnyKarel KubicekLukas NemecLukas SekaninaList of AuthorsMarek SysMartin StehlikMartin UkropMatus NemecPeter SekanPetr SvendaPierre-Louis PalantRadim OstadalRudolf KvasnovskyTatevik BaghdasaryanTobias SmolkaVashek MatyasVasilios MavroudisVit BukacVladimir SedlacekVojtech MrazekKeyword: BiasKeyword: BooleanKeyword: ClassificationKeyword: CryptocurrenciesKeyword: CryptoimplementationsKeyword: CryptolibsKeyword: DistinguishersKeyword: EacircKeyword: EccKeyword: FactorizationKeyword: FingerprintingKeyword: FpgaKeyword: Genetic-algorithmsKeyword: HypothesisKeyword: JavacardKeyword: LeakageKeyword: LibrariesKeyword: OpentoolsKeyword: PrimalityKeyword: PseudoprimesKeyword: RandomnessKeyword: RsaKeyword: Sec-certsKeyword: Side-channelKeyword: SmartcardKeyword: SmartcardsKeyword: SmpcKeyword: WsnPublications2009-cwsn-svenda2011-spw-kur2012-gp-smolka2013-secrypt-svenda2013-spw-svenda2014-ccis-svenda2014-securecomm-kur2014-space-ostadal2015-scps-matyas2015-space-cvrcek2015-spw-bukac2015-wistp-ostadal2016-cans-ostadal2016-fimunitr201603-svenda2016-infocommunications-kubicek2016-memics-ukrop2016-spw-ostadal2016-usenixsec-svenda2017-acsac-nemec2017-ccs-mavroudis2017-ccs-nemec2017-secrypt-sys2018-dcoss-nemec2018-spw-nemec2019-ieeevsli-mrazek2019-secrypt-sedlacek2019-sensors-nemec2020-esorics-foolingprimes2020-esorics-privrsabias2020-jcmathlib-cybercert2020-tches-minerva2022-secrypt-shine2022-securitymargins-secrypt2023-ares-dufka2023-cardis-javacard2024-ifipsec-janovsky