7 citations · 15 across the 6 of their papers we have counts for
7 papers
Analysis of Input-Output Mappings in Coinjoin Transactions with Arbitrary Values
Jiri Gavenda, Petr Svenda, Stanislav Bobon +1
A coinjoin protocol aims to increase transactional privacy for Bitcoin and Bitcoin-like blockchains via collaborative transactions, by violating assumptions behind common analysis…
Chain of trust: Unraveling references among Common Criteria certified products
Adam Janovsky, Łukasz Chmielewski, Petr Svenda +2
With 5394 security certificates of IT products and systems, the Common Criteria for Information Technology Security Evaluation have bred an ecosystem entangled with various kind of…
sec-certs: Examining the security certification practice for better vulnerability mitigation
Adam Janovsky, Jan Jancar, Petr Svenda +3
Products certified under security certification frameworks such as Common Criteria undergo significant scrutiny during the costly certification process. Yet, critical vulnerabiliti…
Biased RSA private keys: Origin attribution of GCD-factorable keys
Adam Janovsky, Matus Nemec, Petr Svenda +2
In 2016, Svenda et al. (USENIX 2016, The Million-key Question) reported that the implementation choices in cryptographic libraries allow for qualified guessing about the origin of…
Towards Low-level Cryptographic Primitives for JavaCards
Vasilios Mavroudis, Petr Svenda
JavaCard is a multi-application security platform deployed to over twenty billion smartcards, used in applications ranging from secure payments to telecommunications. While the pla…
A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
Vasilios Mavroudis, Andrea Cerulli, Petr Svenda +3
The semiconductor industry is fully globalized and integrated circuits (ICs) are commonly defined, designed and fabricated in different premises across the world. This reduces prod…
Avalanche Effect in Improperly Initialized CAESAR Candidates
Martin Ukrop, Petr Švenda
Cryptoprimitives rely on thorough theoretical background, but often lack basic usability features making them prone to unintentional misuse by developers. We argue that this is tru…