DivCrypt: A Structured Framework for Validating Cryptographic Implementations
20th Conference on Computer Science and Intelligence Systems FedCSIS 2025 (opens in a new tab)
Kraków, PolandSeptember 15th, 2025
Bluesbit
Bluesbit brings together R&D working groups in human biology, advanced engineering and information security.
Currently operating in stealth mode.
bluesbit.com (opens in a new tab)research & development
DivCrypt: A Structured Framework for Validating Cryptographic Implementations
Annals of Computer Science and Information Systems, Volume 43
ChaCha64: Rearming ChaCha20 with 64-bit words
Central European Conference on Cryptology 2024 (opens in a new tab)
Warsaw, PolandJune 20th, 2024
Interests
cryptography-driven security mechanism
analysis, design, validation
post-quantum cryptography
zero-knowledge proofs, digital signature schemes
software development
rust, arm64 assembly
research-oriented projects
management, workflow, R&D intelligence
collaboration
cryptography, cybersecurity and life sciences