Research

Here is a list of my past and present in research projects:

• Authorization Logic
• First-Order Logic for Flow-Limited Authorization
• Semantics of Type-And-Effect Systems

Site proudly generated by Hakyll