Secure Channels is offering mathematical validation of the protocol, which was spearheaded by Jonathan Katz, the company's Vice President-Cryptography Engineering. The validation details several key findings, including; if the cipher used in the first layer is insecure, the PKMS2 protocol is secure as long as the second layer cipher is secure, the effective key length of the PKMS2 scheme is larger than the key length for either cipher, and segmentation improves security against message-recovery attacks.
The proof is concurrently undergoing crypto analysis peer review by noted university experts, including Matthew D. Green, Assistant Professor in the Department of Computer Science at Johns Hopkins University, and Stefano Tessaro, Assistant Professor and Culler Professor of Computer Science at University of California, Santa Barbara.
"It's important for potential clients to understand that we've developed a new protocol and process, and they'll still utilize their existing algorithms," continued Blech. "Our protocol improvement is integrated into ParaDoxBox through a SDK, and our clients will only need to apply it to greatly strengthen their security. There's simply no other product on the market that can match this incorporation of PKMS2's capabilities, and the product is uniquely positioned to support end users, resellers, integrators, and our enterprise customers."
ParaDoxBox allows users to encrypt storage network spaces, protect data saved in public file share services, and safeguard endpoints by developing encrypted virtual containers or entire drives. It offers clients a range of encryption algorithms and NIST standards, as well as supports superencipherment and the layering and combining multiple encryption algorithms.