2024
ChaCha64: Rearming ChaCha20 with 64-bit words
conference: Central European Conference on Cryptology 2024
place: Warsaw, Poland
date: June 20th, 2024
Artur Misztal
research & development
main topic of interest
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
talks
2025
DivCrypt: A Structured Framework for Validating Cryptographic Implementations
conference: 20th Conference on Computer Science and Intelligence Systems FedCSIS 2025
place: Kraków, Poland
date: September 15th, 2025
publications
2025
DivCrypt: A Structured Framework for Validating Cryptographic Implementations
journal: Annals of Computer Science and Information Systems, Volume 43
doi: 10.15439/2025F6805