On the ILLC site you may find a full list of ILLC research reports and dissertations. Additionally, the electronic archives may also be accessed by using the Search Form of the ILLC Eprints server.
- MoL-2024-19:
- Yilun Wang Oblivious Transfer from Quantum One-way Functions
- MoL-2024-18:
- Jan W. Gronwald A Practice-Based Critique of Reverse Mathematics
- MoL-2024-17:
- Floris Westerman PageZero: Mitigating Speculative Execution Attacks by Clearing Page Tables
- MoL-2024-16:
- Michael A. Müller Arguing with Doubt
- MoL-2024-15:
- Paul Seip A Constructive Small Object Argument
- MoL-2024-14:
-
Arunavo Ganguly
Characterizing Formulas using Post’s Lattice
1.Full Text.
- MoL-2024-13:
- Hannah Van Santvliet Parameterizing the Notion of Automatability in Proof Complexity
- MoL-2024-12:
- Wouter Smit Axiomatising Protocol-Dependent Knowledge in Gossip
- MoL-2024-11:
- Alyssa Renata Homotopy Theory of Computable Spaces
- MoL-2024-10:
- David Quinn Alvarez The temporal Heyting calculus