Browsing Theses by Subject "uniqueness"
Now showing items 1-1 of 1
-
A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API
(University of Waterloo, 2023-08-17)Java cryptographic APIs facilitate building secure applications, but not all developers have strong cryptographic knowledge to use these APIs correctly. Several studies have shown that misuses of those cryptographic APIs ...