Backlinks This is a list of pages that seem to link back to the current page. doc. Petr Švenda Ph.D. (associate professor)Job offerings - CRoCSA formula for disaster: a unified approach to elliptic curve special-point-based attacks [ASIACRYPT 2021]Let's DOIT: Using Intel's Extended HW/SW Contract for Secure Compilation of Crypto Codepyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis [CHES 2024]“They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks [IEEE S&P 2022]“These results must be false”: A usability evaluation of constant-time analysis tools [USENIX Security 2024]Adam JanovskyBen NassiBenjamin GrégoireBilly Bob BrumleyBoris ZadovDaniel De Almeida BragaDaniel GenkinDudi NassiEran TromerEtay IluzGilles BartheJan JancarJesús-Javier Chi-DomínguezJiri MichalikLukasz ChmielewskiList of AuthorsMarcel FournéMarek SysMohamed SabtOfek VaynerOr Hai CohenPeter SchwabePetr SvendaPierre-Alain FouqueSantiago Arranz-OlmosTiago OliveiraVashek MatyasVincent LaporteVladimir SedlacekVojtech SuchanekYasemin AcarYuval EloviciKeyword: Constant-timeKeyword: CryptoimplementationsKeyword: CryptolibsKeyword: EccKeyword: JasminKeyword: LeakageKeyword: LibrariesKeyword: PrimalityKeyword: PseudoprimesKeyword: Sec-certsKeyword: Side-channelKeyword: SmartcardsKeyword: UsablesecPublications2020-esorics-foolingprimes2020-tches-minerva2021-asiacrypt-formulas2022-sp-jancar2023-ccs-jancar2023-seccerts-janovsky2024-ches-jancar2024-ifipsec-janovsky2024-usenix-jancar2025-ches-jancar2025-revisiting-janovsky