This is a bibliography of papers using substructural logics in security
No issues in this repository yet.