재정 지원 요구사항을 통해 공개된 자료 - Martin Kleppmann자세히 알아보기
제공된 곳이 있음: 11
Verifying strong eventual consistency in distributed systems
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Key agreement for decentralized secure group messaging with strong security guarantees
M Weidner, M Kleppmann, D Hugenroth, AR Beresford
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
재정 지원 요구사항 정책: US Department of Defense, UK Engineering and Physical Sciences Research Council
A highly-available move operation for replicated trees
M Kleppmann, DP Mulligan, VBF Gomes, AR Beresford
IEEE Transactions on Parallel and Distributed Systems 33 (7), 1711-1724, 2021
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Interleaving anomalies in collaborative text editors
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
Proceedings of the 6th Workshop on Principles and Practice of Consistency …, 2019
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Rollercoaster: An Efficient {Group-Multicast} Scheme for Mix Networks
D Hugenroth, M Kleppmann, AR Beresford
30th USENIX Security Symposium (USENIX Security 21), 3433-3450, 2021
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Ghost trace on the wire? Using key evidence for informed decisions
DA Vasile, M Kleppmann, DR Thomas, AR Beresford
Security Protocols XXVII: 27th International Workshop, Cambridge, UK, April …, 2020
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
Extending JSON CRDTs with Move Operations
L Da, M Kleppmann
Proceedings of the 11th Workshop on Principles and Practice of Consistency …, 2024
재정 지원 요구사항 정책: Volkswagen Foundation
Pudding: Private user discovery in anonymity networks
C Kocaoğullar, D Hugenroth, M Kleppmann, AR Beresford
2024 IEEE Symposium on Security and Privacy (SP), 3203-3220, 2024
재정 지원 요구사항 정책: Volkswagen Foundation
Undo and Redo Support for Replicated Registers
L Stewen, M Kleppmann
Proceedings of the 11th Workshop on Principles and Practice of Consistency …, 2024
재정 지원 요구사항 정책: Volkswagen Foundation
Convergence: Research for Practice reboot
M Kleppmann
Queue 20 (3), 88-95, 2022
재정 지원 요구사항 정책: US National Science Foundation
Verifying Strong Eventual Consistency in Distributed Systems
DP Mulligan, AR Beresford, VBF Gomes, M Kleppmann
Association for Computing Machinery (ACM), 2017
재정 지원 요구사항 정책: UK Engineering and Physical Sciences Research Council
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.