- Aalto University
- Ben-Gurion University of the Negev
- Birla Institute of Technology and Science
- California State University [Northridge]
- Centre National de la Recherche Scientifique
- Changhong
- Department of Computer Science [Beer-Sheva]
- Department of Formal Methods
- Department of Informatics [Ionian University]
- Department of Social Informatics [Kyoto]
- Department of mathematics|Dipartimento di Matematica [Univ. Trento]
- Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi [Genova]
- Duality Technology Inc.
- Eindhoven University of Technology [Eindhoven]
- Fondazione Bruno Kessler [Trento, Italy]
- Foundation for Research and Technology - Hellas
- George Mason University [Fairfax]
- Helsingin yliopisto = Helsingfors universitet = University of Helsinki
- Helsinki Institute for Information Technology
- Huawei Research Center [Munich]
- Huawei Technologies Co., Ltd [Shenzhen]
- IBM Research Europe [Zürich]
- Inria Nancy - Grand Est
- Institut National de Recherche en Informatique et en Automatique
- Institute of Computer Science [FORTH, Heraklion]
- Internet Technology and Data Science Lab
- Ionian University [Corfu]
- Kyoto University
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
- National Institute of Standards and Technology [Gaithersburg]
- National Institute of Technology Karnataka [Surathkal]
- National Tsing Hua University [Hsinchu]
- New Jersey Institute of Technology [Newark]
- Penn State System
- Pennsylvania State University
- Peraton Labs
- Procure Ai
- Proof techniques for security protocols
- SAP
- SAP Research
- State University of New York
- Tampere University of Technology [Tampere]
- Technische Universität Dresden = Dresden University of Technology
- The Chinese University of Hong Kong [Hong Kong]
- The Open University of Israel
- The University of Texas at San Antonio
- Tsinghua University [Beijing]
- Universiteit Antwerpen = University of Antwerpen [Antwerpen]
- Universiteit Gent = Ghent University
- University of Alberta
- University of Calgary
- University of North Carolina System
- University of North Carolina [Charlotte]
- University of Regensburg
- University of Waterloo [Waterloo]
- Università degli Studi del Molise = University of Molise
- Università degli Studi di Bergamo = University of Bergamo
- Università degli Studi di Milano = University of Milan
- Università degli Studi di Roma "La Sapienza" = Sapienza University [Rome]
- Università degli Studi di Trento = University of Trento
- Università degli studi di Genova = University of Genoa
- Università degli studi di Verona = University of Verona
- Universität Heidelberg [Heidelberg] = Heidelberg University
- Université de Lorraine
- Vrije Universiteit Brussel [Bruxelles]