- A Formally Verified Lightning Network Grzegorz Fabiański Rafał Stefański Orfeas Stefanos Thyfronitis Litos Sat 05 April 2025
- Asymmetric numeral systems Jarek Duda Wed 15 January 2025
- On Computational Indistinguishability and Logical Relations Ugo Dal Lago Zeinab Galal Giulia Giusti Sat 26 October 2024
- Pseudorandom Finite Models Jan Dreier Jamie Tucker-Foltz Fri 28 April 2023
- The Complexity of Verifying Loop-Free Programs as Differentially Private Marco Gaboardi Kobbi Nissim David Purser Sat 07 January 2023
- A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials Reinhold Burger Albert Heinle Fri 29 April 2022
- Dynamic IFC Theorems for Free Maximilian Algehed Jean-Philippe Bernardy Catalin Hritcu Wed 13 May 2020
- A Relational Model of Data for Large Shared Data Banks E. F. Codd Fri 23 November 2018
Library Size: 13G (8 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
