“A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API” by Alex Liu. Aug. 2023. MASc student (started January 2022).

BibTeX entry:

@unpublished{AlexLiu22,
   author = {Alex Liu},
   title = {{A Lightweight Type System with Uniqueness and Typestates for
        the Java Cryptography API}},
   month = aug,
   note = {MASc student (started January 2022)}
}

Back to the student projects sorted by date or by category.


(This webpage was created with bibtex2web.)