3 papers
cs.CR2025
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…
cs.CR2024
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…
cs.CR2024
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…