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]Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation [TRUSTBus 2024]pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis [CHES 2024]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 CvrcekDaniel ZatovicDavid FormanekDavid KomarekDusan KlinecFilip JurneckaGeorge DanezisImrich NagyJakub JankuJan JancarJan KvapilJiri KurJiri MichalikJiri NovotnyJosef PospisilKarel KubicekLukas NemecLukas SekaninaLukas ZaoralLukasz ChmielewskiList of AuthorsMarek SysMariia BakhtinaMartin StehlikMartin UkropMatulevicius RaimundasMatus NemecMilan BrozPeter SekanPetr SvendaPierre-Louis PalantRadim OstadalRoman LackoRudolf KvasnovskyTatevik BaghdasaryanTobias SmolkaTomas JarosVashek MatyasVasilios MavroudisVit BukacVladimir SedlacekVojtech MrazekVojtech SuchanekKeyword: BiasKeyword: BooleanKeyword: CcKeyword: ClassificationKeyword: Common CriteriaKeyword: CryptocurrenciesKeyword: Cryptographic HardwareKeyword: CryptoimplementationsKeyword: CryptolibsKeyword: DistinguishersKeyword: Distributed ControlKeyword: E-cashKeyword: EacircKeyword: EccKeyword: FactorizationKeyword: FingerprintingKeyword: Fips140Keyword: FpgaKeyword: Genetic-algorithmsKeyword: HypothesisKeyword: JavacardKeyword: Key ManagementKeyword: LeakageKeyword: LibrariesKeyword: OpentoolsKeyword: Organisational Digital IdentityKeyword: PrimalityKeyword: PseudoprimesKeyword: RandomnessKeyword: RsaKeyword: Sec-certsKeyword: SecurityKeyword: Side-channelKeyword: SidechannelKeyword: SmartcardKeyword: SmartcardsKeyword: SmpcKeyword: Threshold SignaturesKeyword: TpmKeyword: WsnKeyword: Zero TrustPublications2009-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-secrypt2017selected-sys2019-sensors-nemec2020-esorics-foolingprimes2020-esorics-privrsabias2020-jcmathlib-cybercert2020-tches-minerva2022-jcalgtest-svenda2022-secrypt-shine2022-securitymargins-secrypt2023-ares-dufka2023-cardis-javacard2023-seccerts-janovsky2024-caise-bakhtina2024-ches-jancar2024-ches-tpmscan2024-ifipsec-janovsky2024-trustbus-dufka