DIDComm gets formal
16 October 2024 10 mins read
Input | Output takes the setting of solid work foundations very seriously. A recent example of this is the research on Decentralized Identifier Communication (DIDComm) through the paper ‘What did come out of it? Analysis and improvements of DIDComm messaging.' which is being presented at this week’s CCS’24, ACM’s flagship conference for computer and communications security. The…
Universal Anonymous Signatures: bridging past, present, and future of anonymous authentication
24 January 2024 8 mins read
Recently, we got the paper 'Foundations of Anonymous Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions' accepted into FC'24 – the 2024 edition of the Financial Cryptography conference. This paper presents Universal Anonymous Signatures (UAS).
We are really excited about it as, besides bridging several subfields in the domain of anonymous authentication, UAS sets the path towards what we believe could be (part of) the future of Self-Sovereign Identity and something we will definitely push for integration within the Atala…
Recent posts
Input | Output chief scientist receives prestigious Lovelace computing award by Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections by Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples by James Chapman
26 November 2024