| since 1999: | Member of the Working Group 11.2 on Small Systems Security of the TC11 of IFIP. |
| since 1996: | Member of the Security and Software Engineering group of the Swiss Informaticians Society (SI). |
| since 1995: | Member of the Working Group on Formal Methods for Industrial Critical Systems (FMICS) of ERCIM. |
| since 1994: | Member of the European Associaction of Theoretical Computer Scientists (EATCS). |