Researchclopedia
Research
Researchers
Institutions
Topics
Submit
About
Search...
⌘
K
Command Palette
Search for a command to run...
IMDEA Software Institute | Researchclopedia
Back to institutions
IMDEA Software Institute
Pozuelo de Alarcón, Madrid
facility
Website
Top Researchers
View all
Recent Research
View all
Security and Verification in Computing
Distributed systems and fault tolerance
Software Testing and Debugging Techniques
Advanced Malware Detection Techniques
Software Engineering Research
Logic, Reasoning, and Knowledge
Parallel Computing and Optimization Techniques
Cryptographic Implementations and Security
Service-Oriented Architecture and Web Services
Adrian Perrig
ETH Zurich
548 works
50,623 citations
h-index: 88
Bounding Byzantine Impact in Open CRDT Systems
Timothé Albouy
,
Carlos Baquero
,
et al.
2026
0 citations