Cyvionic brings together engineers and researchers with deep academic backgrounds in cryptography, secure protocol design, and embedded systems security. Our publications reflect the same rigour that goes into every product we build — peer-reviewed work that bridges theory and real-world deployment.
Academic Foundation
Post-Quantum Cryptography
Lattice-based key encapsulation, NIST-standardized signature schemes, and polynomial arithmetic optimization — over a decade of peer-reviewed output shaping our approach to algorithm selection and migration engineering.
Platform & Protocol Security
Formal analysis of protocol behaviour under adversarial conditions informs both detection logic and offensive tooling, grounded in published research on automotive, aerospace, and constrained-environment bus architectures.
Applied Systems Security
Risk modelling, attack path detection, and anomaly detection across IoT and embedded domains — ensuring engineering decisions are traceable to validated, published foundations rather than convention.
Publications
IEEE Access
Formal symbolic analysis of TLS 1.2 augmented with post-quantum key exchange mechanisms. The work verifies the security properties of hybrid classical-PQC handshakes under active adversary models, providing a foundation for standards-aligned migration of existing TLS deployments.
Computer Standards & Interfaces
A revised lattice-based password-authenticated key exchange protocol optimised for mobile and constrained environments. Smaug-T.PAKE achieves mutual authentication and forward secrecy under the hardness of Module-LWE, with key sizes and computation costs compatible with mobile-class hardware.
Computer Standards & Interfaces
A post-quantum blockchain infrastructure for IoT environments combining lattice-based blind signatures with distributed ledger techniques. The construction provides transaction unlinkability and quantum-resistant integrity guarantees for large-scale IoT deployments.
International Symposium on Quality Electronic Design
Hardware-level protection mechanisms for integrated circuits using lightweight cryptographic primitives. The approach provides counterfeit detection and tamper evidence without significant area or power overhead, targeting embedded and safety-critical systems.
IEEE Open Journal of the Communications Society
A group key exchange protocol for IoT networks built on the Saber lattice-based KEM. The protocol enables efficient authenticated key establishment among multiple constrained devices, offering quantum-resistant confidentiality without requiring trusted third parties.
Internet of Things
A comprehensive study of attack surfaces in Automatic Dependent Surveillance-Broadcast (ADS-B) aviation communication, paired with ML-based anomaly detection pipelines. The work characterises spoofing, injection, and replay threats against airspace data integrity and evaluates detection accuracy under realistic adversarial scenarios.
IEEE Access
A privacy-preserving framework for blockchain systems that replaces classical cryptographic primitives with NIST-standardised post-quantum alternatives. The construction maintains transaction confidentiality and accountability under a quantum threat model while preserving scalability.
IEEE Access
A hybrid graph model combining attack graphs and probabilistic risk scoring to enumerate and prioritise attack paths in heterogeneous IoT deployments. The approach enables automated risk quantification across interconnected devices and communication interfaces.
IEEE Access
Rigorous formal security analysis of hybrid post-quantum extensions to the SSH transport layer protocol. The study applies symbolic and computational models to verify authentication and confidentiality guarantees of the hybrid handshake under both classical and quantum adversaries.
Journal of Information Security and Applications
A lattice-based PAKE scheme that achieves user anonymity and supports reusable key material across sessions. The construction reduces authentication overhead in recurring client-server interactions without compromising post-quantum security guarantees.
IEEE Access
An authenticated key exchange scheme built on the bi-GISIS problem, offering provable security with reusable session keys. The construction addresses key reuse vulnerabilities found in earlier lattice-based AKE proposals while maintaining practical efficiency.
The Journal of Supercomputing
Efficient polynomial multiplication is the performance bottleneck in lattice-based cryptographic schemes. This work presents sparse multiplication methods that achieve measurably lower computational complexity, enabling practical lattice cryptography on resource-constrained hardware.
8th International Conference on Cryptology in Africa
A digital signature scheme grounded in lattice hard problems, with a formal security proof in the random oracle model. Achieves strong existential unforgeability while keeping key and signature sizes suitable for real-world deployment.
Security and Communication Networks
Enhanced XTR-based public key constructions with improved efficiency and tighter security arguments. The proposed methods reduce key transport overhead, making them suitable for bandwidth-constrained and embedded communication environments.
100+ additional publications
Full list available on academic profiles
