Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

verification

biblio

We Can Make Mistakes: Fault-tolerant Forward Private Verifiable Dynamic Searchable Symmetric Encryption

Submitted by aekwall on Fri, 03/31/2023 - 9:39am

biblio

Static Analysis of Infrastructure as Code: a Survey

Submitted by aekwall on Thu, 02/02/2023 - 5:36pm

biblio

Blockchain Based Solution to Enhance Drug Supply Chain Management for Smart Pharmaceutical Industry

Submitted by grigby1 on Thu, 01/05/2023 - 2:27pm

biblio

On Compositional Information Flow Aware Refinement

Submitted by aekwall on Fri, 08/12/2022 - 3:53pm

biblio

Verifying Accountability for Unbounded Sets of Participants

Submitted by grigby1 on Wed, 08/03/2022 - 4:12pm

biblio

Modeling and Verifying Ticket-Based Authentication Scheme for IoT Using CSP

Submitted by grigby1 on Tue, 08/02/2022 - 4:21pm

biblio

Verifiable Computing Using Computation Fingerprints Within FHE

Submitted by grigby1 on Wed, 07/13/2022 - 1:12pm

biblio

Digital Signature Scheme over Lattices

Submitted by aekwall on Fri, 02/04/2022 - 10:32am

biblio

Securing the Integrity of PDF Files using RSA Digital Signature and SHA-3 Hash Function

Submitted by aekwall on Fri, 02/04/2022 - 10:30am

biblio

A Process to Facilitate Automated Automotive Cybersecurity Testing

Submitted by grigby1 on Tue, 01/25/2022 - 4:54pm

Terms of Use | ©2023. CPS-VO