publications:
- title: "Language-Driven System Design"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Wouter T. Wiersma"
    link: "https://researchr.org/alias/wouter-t.-wiersma"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2004"
  doi: "http://dx.doi.org/10.1142/S0218194004001828"
  links:
    doi: "http://dx.doi.org/10.1142/S0218194004001828"
  tags:
  - "language design"
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/MauwWW04"
  cites: 0
  citedby: 0
  journal: "International Journal of Software Engineering and Knowledge Engineering"
  volume: "14"
  number: "6"
  pages: "625-663"
  kind: "article"
  key: "MauwWW04"
- title: "Preface"
  author:
  - name: "Fabio Massacci"
    link: "https://researchr.org/alias/fabio-massacci"
  - name: "Frank Piessens"
    link: "https://researchr.org/alias/frank-piessens"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.scico.2008.09.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2008.09.002"
  researchr: "https://researchr.org/publication/MassacciPM08"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "74"
  number: "1-2"
  pages: "1"
  kind: "article"
  key: "MassacciPM08"
- title: "Foundations of Attack-Defense Trees"
  author:
  - name: "Barbara Kordy"
    link: "https://researchr.org/alias/barbara-kordy"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  - name: "Patrick Schweitzer"
    link: "https://researchr.org/alias/patrick-schweitzer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-19751-2_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19751-2_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip1-7/KordyMRS10"
  researchr: "https://researchr.org/publication/KordyMRS10"
  cites: 0
  citedby: 0
  pages: "80-95"
  booktitle: "Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  - name: "Sandro Etalle"
    link: "https://researchr.org/alias/sandro-etalle"
  - name: "Joshua D. Guttman"
    link: "https://researchr.org/alias/joshua-d.-guttman"
  volume: "6561"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-19750-5"
  kind: "inproceedings"
  key: "KordyMRS10"
- title: "Measuring Voter-Controlled Privacy"
  author:
  - name: "Hugo L. Jonker"
    link: "https://researchr.org/alias/hugo-l.-jonker"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ARES.2009.81"
  links:
    doi: "http://dx.doi.org/10.1109/ARES.2009.81"
  researchr: "https://researchr.org/publication/JonkerMP09"
  cites: 0
  citedby: 0
  pages: "289-298"
  booktitle: "Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "JonkerMP09"
- title: "Game-Based Verification of Multi-Party Contract Signing Protocols"
  author:
  - name: "Ying Zhang"
    link: "https://researchr.org/alias/ying-zhang"
  - name: "Chenyi Zhang"
    link: "https://researchr.org/alias/chenyi-zhang"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12459-4_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12459-4_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip1-7/ZhangZPM09"
  tags:
  - "rule-based"
  - "contracts"
  - "protocol"
  researchr: "https://researchr.org/publication/ZhangZPM09"
  cites: 0
  citedby: 0
  pages: "186-200"
  booktitle: "Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  - name: "Joshua D. Guttman"
    link: "https://researchr.org/alias/joshua-d.-guttman"
  volume: "5983"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12458-7"
  kind: "inproceedings"
  key: "ZhangZPM09"
- title: "High-level message sequence charts"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "1997"
  researchr: "https://researchr.org/publication/MauwR97"
  cites: 0
  citedby: 0
  pages: "291-306"
  booktitle: "SDL  97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings"
  editor:
  - name: "Ana R. Cavalli"
    link: "https://researchr.org/alias/ana-r.-cavalli"
  - name: "Amardeo Sarma"
    link: "https://researchr.org/alias/amardeo-sarma"
  publisher: "Elsevier"
  kind: "inproceedings"
  key: "MauwR97"
- title: "Data Anonymity in the FOO Voting Scheme"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Jan Verschuren"
    link: "https://researchr.org/alias/jan-verschuren"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.001"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/MauwVV07"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "168"
  pages: "5-28"
  kind: "article"
  key: "MauwVV07"
- title: "A Proof Assistant for PSF"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Gert J. Veltink"
    link: "https://researchr.org/alias/gert-j.-veltink"
  year: "1991"
  tags:
  - "proof assistant"
  researchr: "https://researchr.org/publication/MauwV91"
  cites: 0
  citedby: 0
  pages: "158-168"
  booktitle: "Computer Aided Verification, 3rd International Workshop, CAV  91, Aalborg, Denmark, July, 1-4, 1991, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Arne Skou"
    link: "https://researchr.org/alias/arne-skou"
  volume: "575"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55179-4"
  kind: "inproceedings"
  key: "MauwV91"
- title: "A formal framework for quantifying voter-controlled privacy"
  author:
  - name: "Hugo L. Jonker"
    link: "https://researchr.org/alias/hugo-l.-jonker"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jalgor.2009.02.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.jalgor.2009.02.007"
  researchr: "https://researchr.org/publication/JonkerMP09-0"
  cites: 0
  citedby: 0
  journal: "J. Algorithms"
  volume: "64"
  number: "2-3"
  pages: "89-105"
  kind: "article"
  key: "JonkerMP09-0"
- title: "Minimal Message Complexity of Asynchronous Multi-party Contract Signing"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  - name: "Mohammad Torabi Dashti"
    link: "https://researchr.org/alias/mohammad-torabi-dashti"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSF.2009.15"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSF.2009.15"
  tags:
  - "contracts"
  researchr: "https://researchr.org/publication/MauwRD09"
  cites: 0
  citedby: 0
  pages: "13-25"
  booktitle: "Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3712-2"
  kind: "inproceedings"
  key: "MauwRD09"
- title: "Specifying internet applications with DiCons"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Harm M. A. van Beek"
    link: "https://researchr.org/alias/harm-m.-a.-van-beek"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/372202.372466"
  links:
    doi: "http://doi.acm.org/10.1145/372202.372466"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBM01"
  cites: 0
  citedby: 0
  pages: "576-584"
  booktitle: "Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), March 11-14, 2001, Las Vegas, NV, USA"
  publisher: "ACM"
  kind: "inproceedings"
  key: "BaetenBM01"
- title: "Specification of the Transit Node in PSF::d::"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Freek Wiedijk"
    link: "http://www.cs.ru.nl/~freek/"
  year: "1989"
  researchr: "https://researchr.org/publication/MauwW89"
  cites: 0
  citedby: 0
  pages: "341-361"
  booktitle: "Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]"
  editor:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  volume: "490"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53912-3"
  kind: "inproceedings"
  key: "MauwW89"
- title: "Task Allocation in a Multi-Server System"
  author:
  - name: "Sem C. Borst"
    link: "https://researchr.org/alias/sem-c.-borst"
  - name: "Onno J. Boxma"
    link: "https://researchr.org/alias/onno-j.-boxma"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2003"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BorstBGM03"
  cites: 0
  citedby: 0
  journal: "J. Scheduling"
  volume: "6"
  number: "5"
  pages: "423-436"
  kind: "article"
  key: "BorstBGM03"
- title: "An Introduction to PSFd"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Gert J. Veltink"
    link: "https://researchr.org/alias/gert-j.-veltink"
  year: "1989"
  researchr: "https://researchr.org/publication/MauwV89"
  cites: 0
  citedby: 0
  pages: "272-285"
  booktitle: "TAPSOFT 89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is"
  editor:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "352"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-50940-2"
  kind: "inproceedings"
  key: "MauwV89"
- title: "Regularity of BPA-Systems is Decidable"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Hans Mulder"
    link: "https://researchr.org/alias/hans-mulder"
  year: "1994"
  researchr: "https://researchr.org/publication/MauwM94"
  cites: 0
  citedby: 0
  pages: "34-47"
  booktitle: "CONCUR  94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings"
  editor:
  - name: "Bengt Jonsson"
    link: "https://researchr.org/alias/bengt-jonsson"
  - name: "Joachim Parrow"
    link: "https://researchr.org/alias/joachim-parrow"
  volume: "836"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58329-7"
  kind: "inproceedings"
  key: "MauwM94"
- title: "A Process Specification Formalism Based on Static COLD"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Gert J. Veltink"
    link: "https://researchr.org/alias/gert-j.-veltink"
  year: "1989"
  tags:
  - "rule-based"
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBMV89"
  cites: 0
  citedby: 0
  pages: "303-335"
  booktitle: "Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]"
  editor:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  volume: "490"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53912-3"
  kind: "inproceedings"
  key: "BaetenBMV89"
- title: "Test Selection, Trace Distance and Heuristics"
  author:
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  - name: "Nicolae Goga"
    link: "https://researchr.org/alias/nicolae-goga"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  year: "2002"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/FeijsGMT02"
  cites: 0
  citedby: 0
  pages: "267-282"
  booktitle: "Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002"
  editor:
  - name: "Ina Schieferdecker"
    link: "https://researchr.org/alias/ina-schieferdecker"
  - name: "Hartmut König"
    link: "https://researchr.org/alias/hartmut-k%C3%B6nig"
  - name: "Adam Wolisz"
    link: "https://researchr.org/alias/adam-wolisz"
  volume: "210"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-7695-1"
  kind: "inproceedings"
  key: "FeijsGMT02"
- title: "Untraceability of RFID Protocols"
  author:
  - name: "Ton van Deursen"
    link: "https://researchr.org/alias/ton-van-deursen"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79966-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-79966-5_1"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/DeursenMR08"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks, Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings"
  editor:
  - name: "Jose Antonio Onieva"
    link: "https://researchr.org/alias/jose-antonio-onieva"
  - name: "Damien Sauveron"
    link: "https://researchr.org/alias/damien-sauveron"
  - name: "Serge Chaumette"
    link: "https://researchr.org/alias/serge-chaumette"
  - name: "Dieter Gollmann"
    link: "https://researchr.org/alias/dieter-gollmann"
  - name: "Constantinos Markantonakis"
    link: "https://researchr.org/alias/constantinos-markantonakis"
  volume: "5019"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-79965-8"
  kind: "inproceedings"
  key: "DeursenMR08"
- title: "Introduction by the guest editor"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2001"
  researchr: "https://researchr.org/publication/Mauw01"
  cites: 0
  citedby: 0
  journal: "Computer Languages, Systems \\& Structures"
  volume: "27"
  number: "1/3"
  pages: "1-2"
  kind: "article"
  key: "Mauw01"
- title: "Delayed choice for process algebra with abstraction"
  author:
  - name: "Pedro R. D Argenio"
    link: "https://researchr.org/alias/pedro-r.-d-argenio"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1995"
  tags:
  - "process algebra"
  - " algebra"
  - "abstraction"
  researchr: "https://researchr.org/publication/DArgenioM95"
  cites: 0
  citedby: 0
  pages: "501-515"
  booktitle: "CONCUR  95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings"
  editor:
  - name: "Insup Lee"
    link: "https://researchr.org/alias/insup-lee"
  - name: "Scott A. Smolka"
    link: "https://researchr.org/alias/scott-a.-smolka"
  volume: "962"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60218-6"
  kind: "inproceedings"
  key: "DArgenioM95"
- title: "Operational Semantics of Security Protocols"
  author:
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2003"
  doi: "http://dx.doi.org/10.1007/11495628_4"
  links:
    doi: "http://dx.doi.org/10.1007/11495628_4"
  tags:
  - "semantics"
  - "protocol"
  - "security"
  - "operational semantics"
  researchr: "https://researchr.org/publication/CremersM03"
  cites: 0
  citedby: 0
  pages: "66-89"
  booktitle: "Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers"
  editor:
  - name: "Stefan Leue"
    link: "https://researchr.org/alias/stefan-leue"
  - name: "Tarja Systä"
    link: "https://researchr.org/alias/tarja-syst%C3%A4"
  volume: "3466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26189-3"
  kind: "inproceedings"
  key: "CremersM03"
- title: "An algorithm for the asynchronous Write-All problem based on process collision"
  author:
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Wim H. Hesselink"
    link: "https://researchr.org/alias/wim-h.-hesselink"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Rogier Vermeulen"
    link: "https://researchr.org/alias/rogier-vermeulen"
  year: "2001"
  doi: "http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm"
  links:
    doi: "http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/GrooteHMV01"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "14"
  number: "2"
  pages: "75-81"
  kind: "article"
  key: "GrooteHMV01"
- title: "Model Checking for Managers"
  author:
  - name: "Wil Janssen"
    link: "https://researchr.org/alias/wil-janssen"
  - name: "Radu Mateescu"
    link: "https://researchr.org/alias/radu-mateescu"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Peter Fennema"
    link: "https://researchr.org/alias/peter-fennema"
  - name: "Petra van der Stappen"
    link: "https://researchr.org/alias/petra-van-der-stappen"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1680/16800092.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1680/16800092.htm"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  - "meta-objects"
  researchr: "https://researchr.org/publication/JanssenMMFS99"
  cites: 0
  citedby: 0
  pages: "92-107"
  booktitle: "Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings"
  editor:
  - name: "Dennis Dams"
    link: "https://researchr.org/alias/dennis-dams"
  - name: "Rob Gerth"
    link: "https://researchr.org/alias/rob-gerth"
  - name: "Stefan Leue"
    link: "https://researchr.org/alias/stefan-leue"
  - name: "Mieke Massink"
    link: "https://researchr.org/alias/mieke-massink"
  volume: "1680"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66499-8"
  kind: "inproceedings"
  key: "JanssenMMFS99"
- title: "Injective synchronisation: An extension of the authentication hierarchy"
  author:
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.08.034"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2006.08.034"
  researchr: "https://researchr.org/publication/CremersMV06"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "367"
  number: "1-2"
  pages: "139-161"
  kind: "article"
  key: "CremersMV06"
- title: "Checking Secrecy by Means of Partial Order Reduction"
  author:
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3319&spage=171"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3319&spage=171"
  researchr: "https://researchr.org/publication/CremersM04"
  cites: 0
  citedby: 0
  pages: "171-188"
  booktitle: "System Analysis and Modeling, 4th International SDL and MSCWorkshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers"
  editor:
  - name: "Daniel Amyot"
    link: "https://researchr.org/alias/daniel-amyot"
  - name: "Alan W. Williams"
    link: "https://researchr.org/alias/alan-w.-williams"
  volume: "3319"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24561-8"
  kind: "inproceedings"
  key: "CremersM04"
- title: "Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks"
  author:
  - name: "Jacob Brunekreef"
    link: "https://researchr.org/alias/jacob-brunekreef"
  - name: "Joost-Pieter Katoen"
    link: "https://researchr.org/alias/joost-pieter-katoen"
  - name: "Ron Koymans"
    link: "https://researchr.org/alias/ron-koymans"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1996"
  tags:
  - "protocol"
  - "analysis"
  - "design"
  researchr: "https://researchr.org/publication/BrunekreefKKM96"
  cites: 0
  citedby: 0
  journal: "Distributed Computing"
  volume: "9"
  number: "4"
  pages: "157-171"
  kind: "article"
  key: "BrunekreefKKM96"
- title: "Secure Ownership and Ownership Transfer in RFID Systems"
  author:
  - name: "Ton van Deursen"
    link: "https://researchr.org/alias/ton-van-deursen"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  - name: "Pim Vullers"
    link: "https://researchr.org/alias/pim-vullers"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04444-1_39"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-04444-1_39"
  researchr: "https://researchr.org/publication/DeursenMRV09"
  cites: 0
  citedby: 0
  pages: "637-654"
  booktitle: "Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings"
  editor:
  - name: "Michael Backes"
    link: "https://researchr.org/alias/michael-backes"
  - name: "Peng Ning"
    link: "https://researchr.org/alias/peng-ning"
  volume: "5789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04443-4"
  kind: "inproceedings"
  key: "DeursenMRV09"
- title: "Uniform Algebraic Specifications of Finite Sets with Equality"
  author:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Freek Wiedijk"
    link: "http://www.cs.ru.nl/~freek/"
  year: "1991"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/BergstraMW91"
  cites: 0
  citedby: 0
  journal: "Int. J. Found. Comput. Sci."
  volume: "2"
  number: "1"
  pages: "43-65"
  kind: "article"
  key: "BergstraMW91"
- title: "An Algebraic Semantics of Basic Message Sequence Charts"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "1994"
  tags:
  - "semantics"
  - " algebra"
  researchr: "https://researchr.org/publication/MauwR94"
  cites: 0
  citedby: 0
  journal: "Comput. J."
  volume: "37"
  number: "4"
  pages: "269-278"
  kind: "article"
  key: "MauwR94"
- title: "A Formalization of Anonymity and Onion Routing"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Jan Verschuren"
    link: "https://researchr.org/alias/jan-verschuren"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3193&spage=109"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3193&spage=109"
  tags:
  - "routing"
  researchr: "https://researchr.org/publication/MauwVV04"
  cites: 0
  citedby: 0
  pages: "109-124"
  booktitle: "Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings"
  editor:
  - name: "Pierangela Samarati"
    link: "https://researchr.org/alias/pierangela-samarati"
  - name: "Peter Y. A. Ryan"
    link: "https://researchr.org/alias/peter-y.-a.-ryan"
  - name: "Dieter Gollmann"
    link: "https://researchr.org/alias/dieter-gollmann"
  - name: "Refik Molva"
    link: "https://researchr.org/alias/refik-molva"
  volume: "3193"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-22987-6"
  kind: "inproceedings"
  key: "MauwVV04"
- title: "An Algebraic Specification of Process Algebra, Including Two Examples"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1987"
  tags:
  - "process algebra"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Mauw87"
  cites: 0
  citedby: 0
  pages: "507-554"
  booktitle: "Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]"
  editor:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  volume: "394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51698-0"
  kind: "inproceedings"
  key: "Mauw87"
- title: "A Hierarchy of Communication Models for Message Sequence Charts"
  author:
  - name: "André Engels"
    link: "https://researchr.org/alias/andr%C3%A9-engels"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "1997"
  researchr: "https://researchr.org/publication/EngelsMR97"
  cites: 0
  citedby: 0
  pages: "75-90"
  booktitle: "Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII 97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Pr"
  editor:
  - name: "Atsushi Togashi"
    link: "https://researchr.org/alias/atsushi-togashi"
  - name: "Tadanori Mizuno"
    link: "https://researchr.org/alias/tadanori-mizuno"
  - name: "Norio Shiratori"
    link: "https://researchr.org/alias/norio-shiratori"
  - name: "Teruo Higashino"
    link: "https://researchr.org/alias/teruo-higashino"
  volume: "107"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-82060-9"
  kind: "inproceedings"
  key: "EngelsMR97"
- title: "A framework for compositional verification of security protocols"
  author:
  - name: "Suzana Andova"
    link: "https://researchr.org/alias/suzana-andova"
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  - name: "Kristian Gjøsteen"
    link: "https://researchr.org/alias/kristian-gj%C3%B8steen"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Stig Fr. Mjølsnes"
    link: "https://researchr.org/alias/stig-fr.-mj%C3%B8lsnes"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.07.002"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2007.07.002"
  tags:
  - "protocol"
  - "composition"
  - "security"
  researchr: "https://researchr.org/publication/AndovaCGMMR08"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "206"
  number: "2-4"
  pages: "425-459"
  kind: "article"
  key: "AndovaCGMMR08"
- title: "IC Design Validation Using Message Sequence Charts"
  author:
  - name: "Harald P. E. Vranken"
    link: "https://researchr.org/alias/harald-p.-e.-vranken"
  - name: "Tomás Garciá Garciá"
    link: "https://researchr.org/alias/tom%C3%A1s-garci%C3%A1-garci%C3%A1"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  year: "2000"
  doi: "http://csdl.computer.org/comp/proceedings/euromicro/2000/0780/01/07811220abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/euromicro/2000/0780/01/07811220abs.htm"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/VrankenGMF00"
  cites: 0
  citedby: 0
  pages: "1122"
  booktitle: "26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0780-8"
  kind: "inproceedings"
  key: "VrankenGMF00"
- title: "Refinement in Interworkings"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "1996"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/MauwR96"
  cites: 0
  citedby: 0
  pages: "671-686"
  booktitle: "CONCUR  96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings"
  editor:
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "1119"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61604-7"
  kind: "inproceedings"
  key: "MauwR96"
- title: "Formal Test Automation: A Simple Experiment"
  author:
  - name: "Axel Belinfante"
    link: "https://researchr.org/alias/axel-belinfante"
  - name: "Jan Feenstra"
    link: "https://researchr.org/alias/jan-feenstra"
  - name: "René G. de Vries"
    link: "https://researchr.org/alias/ren%C3%A9-g.-de-vries"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  - name: "Nicolae Goga"
    link: "https://researchr.org/alias/nicolae-goga"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Lex Heerink"
    link: "https://researchr.org/alias/lex-heerink"
  year: "1999"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BelinfanteFVTGFMH99"
  cites: 0
  citedby: 0
  pages: "179-196"
  booktitle: "Testing of Communicating Systems: Method and Applications, IFIP TC6 12:::th::: International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary"
  editor:
  - name: "Gyula Csopaki"
    link: "https://researchr.org/alias/gyula-csopaki"
  - name: "Sarolta Dibuz"
    link: "https://researchr.org/alias/sarolta-dibuz"
  - name: "Katalin Tarnay"
    link: "https://researchr.org/alias/katalin-tarnay"
  volume: "147"
  series: "IFIP Conference Proceedings"
  publisher: "Kluwer"
  isbn: "0-7923-8581-0"
  kind: "inproceedings"
  key: "BelinfanteFVTGFMH99"
- title: "An Algebra for Trust Dilution and Trust Fusion"
  author:
  - name: "Baptiste Alcalde"
    link: "https://researchr.org/alias/baptiste-alcalde"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12459-4_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12459-4_2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ifip1-7/AlcaldeM09"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/AlcaldeM09"
  cites: 0
  citedby: 0
  pages: "4-20"
  booktitle: "Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  - name: "Joshua D. Guttman"
    link: "https://researchr.org/alias/joshua-d.-guttman"
  volume: "5983"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12458-7"
  kind: "inproceedings"
  key: "AlcaldeM09"
- title: "Language Driven System Design"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Wouter T. Wiersma"
    link: "https://researchr.org/alias/wouter-t.-wiersma"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2002"
  doi: "http://dlib2.computer.org/conferen/hicss/1435/pdf/14350280b.pdf?"
  links:
    doi: "http://dlib2.computer.org/conferen/hicss/1435/pdf/14350280b.pdf?"
  tags:
  - "language design"
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/MauwWW02"
  cites: 0
  citedby: 0
  pages: "280"
  booktitle: "HICSS"
  kind: "inproceedings"
  key: "MauwWW02"
- title: "Test Generation for Intelligent Networks Using Model Checking"
  author:
  - name: "André Engels"
    link: "https://researchr.org/alias/andr%C3%A9-engels"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1997"
  tags:
  - "model checking"
  - "meta-model"
  - "testing"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/EngelsFM97"
  cites: 0
  citedby: 0
  pages: "384-398"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS  97, Enschede, The Netherlands, April 2-4, 1997, Proceedings"
  editor:
  - name: "Ed Brinksma"
    link: "https://researchr.org/alias/ed-brinksma"
  volume: "1217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62790-1"
  kind: "inproceedings"
  key: "EngelsFM97"
- title: "Operational Semantics for MSC 96"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S1389-1286(99)00060-2"
  links:
    doi: "http://dx.doi.org/10.1016/S1389-1286(99)00060-2"
  tags:
  - "semantics"
  - "operational semantics"
  researchr: "https://researchr.org/publication/MauwR99"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "31"
  number: "17"
  pages: "1785-1799"
  kind: "article"
  key: "MauwR99"
- title: "Preface"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Valérie Issarny"
    link: "https://researchr.org/alias/val%C3%A9rie-issarny"
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.045"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.045"
  researchr: "https://researchr.org/publication/MauwIC06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "157"
  number: "3"
  pages: "1-2"
  kind: "article"
  key: "MauwIC06"
- title: "Analysing the BKE-security Protocol with ::::µ::::CRL"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Alexander Serebrenik"
    link: "http://www.win.tue.nl/~aserebre/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005"
  tags:
  - "protocol"
  - "security"
  researchr: "https://researchr.org/publication/BlomGMS05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "139"
  number: "1"
  pages: "49-90"
  kind: "article"
  key: "BlomGMS05"
- title: "The Formalization of Message Sequence Charts"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1996"
  doi: "http://dx.doi.org/10.1016/0169-7552(95)00123-9"
  links:
    doi: "http://dx.doi.org/10.1016/0169-7552(95)00123-9"
  researchr: "https://researchr.org/publication/Mauw96"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "28"
  number: "12"
  pages: "1643-1657"
  kind: "article"
  key: "Mauw96"
- title: "Automatic Conformance Testing of Internet Applications"
  author:
  - name: "Harm M. A. van Beek"
    link: "https://researchr.org/alias/harm-m.-a.-van-beek"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=205"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=205"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BeekM03"
  cites: 0
  citedby: 0
  pages: "205-222"
  booktitle: "Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003"
  editor:
  - name: "Alexandre Petrenko"
    link: "https://researchr.org/alias/alexandre-petrenko"
  - name: "Andreas Ulrich"
    link: "https://researchr.org/alias/andreas-ulrich"
  volume: "2931"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-20894-1"
  kind: "inproceedings"
  key: "BeekM03"
- title: "Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks"
  author:
  - name: "Pieter Ceelen"
    link: "https://researchr.org/alias/pieter-ceelen"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sasa Radomirovic"
    link: "https://researchr.org/alias/sasa-radomirovic"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.015"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2007.12.015"
  researchr: "https://researchr.org/publication/CeelenMR08"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "197"
  number: "2"
  pages: "31-43"
  kind: "article"
  key: "CeelenMR08"
- title: "Impossible futures and determinism"
  author:
  - name: "Marc Voorhoeve"
    link: "https://researchr.org/alias/marc-voorhoeve"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(01)00217-4"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(01)00217-4"
  researchr: "https://researchr.org/publication/VoorhoeveM01"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "80"
  number: "1"
  pages: "51-58"
  kind: "article"
  key: "VoorhoeveM01"
- title: "MSC and data: dynamic variables"
  author:
  - name: "André Engels"
    link: "https://researchr.org/alias/andr%C3%A9-engels"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1999"
  tags:
  - "data-flow"
  researchr: "https://researchr.org/publication/EngelsFM99"
  cites: 0
  citedby: 0
  pages: "105"
  booktitle: "SDL  99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings"
  editor:
  - name: "Rachida Dssouli"
    link: "https://researchr.org/alias/rachida-dssouli"
  - name: "Gregor von Bochmann"
    link: "https://researchr.org/alias/gregor-von-bochmann"
  - name: "Yair Lahav"
    link: "https://researchr.org/alias/yair-lahav"
  publisher: "Elsevier"
  kind: "inproceedings"
  key: "EngelsFM99"
- title: "A Certified Email Protocol Using Key Chains"
  author:
  - name: "Jan Cederquist"
    link: "https://researchr.org/alias/jan-cederquist"
  - name: "Muhammad Torabi Dashti"
    link: "https://researchr.org/alias/muhammad-torabi-dashti"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.10"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/AINAW.2007.10"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/CederquistDM07"
  cites: 0
  citedby: 0
  pages: "525-530"
  booktitle: "21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "CederquistDM07"
- title: "A Syntactic Criterion for Injectivity of Authentication Protocols"
  author:
  - name: "Cas J. F. Cremers"
    link: "https://researchr.org/alias/cas-j.-f.-cremers"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Erik P. de Vink"
    link: "https://researchr.org/alias/erik-p.-de-vink"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.006"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/CremersMV05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "135"
  number: "1"
  pages: "23-38"
  kind: "article"
  key: "CremersMV05"
- title: "An MSC Based Representation of DiCons"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Harm M. A. van Beek"
    link: "https://researchr.org/alias/harm-m.-a.-van-beek"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2078/20780328.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2078/20780328.htm"
  tags:
  - "rule-based"
  - "C++"
  researchr: "https://researchr.org/publication/BaetenBM01%3A0"
  cites: 0
  citedby: 0
  pages: "328-347"
  booktitle: "SDL 2001: Meeting UML, 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001, Proceedings"
  editor:
  - name: "Rick Reed"
    link: "https://researchr.org/alias/rick-reed"
  - name: "Jeanne Reed"
    link: "https://researchr.org/alias/jeanne-reed"
  volume: "2078"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42281-1"
  kind: "inproceedings"
  key: "BaetenBM01:0"
- title: "Foundations of Attack Trees"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Martijn Oostdijk"
    link: "https://researchr.org/alias/martijn-oostdijk"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11734727_17"
  links:
    doi: "http://dx.doi.org/10.1007/11734727_17"
  researchr: "https://researchr.org/publication/MauwO05"
  cites: 0
  citedby: 0
  pages: "186-198"
  booktitle: "Information Security and Cryptology - ICISC 2005, 8th International Conference, Seoul, Korea, December 1-2, 2005, Revised Selected Papers"
  editor:
  - name: "Dongho Won"
    link: "https://researchr.org/alias/dongho-won"
  - name: "Seungjoo Kim"
    link: "https://researchr.org/alias/seungjoo-kim"
  volume: "3935"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33354-1"
  kind: "inproceedings"
  key: "MauwO05"
- title: "XML Security in the Next Generation Optical Disc Context"
  author:
  - name: "Gopakumar Nair"
    link: "https://researchr.org/alias/gopakumar-nair"
  - name: "Ajeesh Gopalakrishnan"
    link: "https://researchr.org/alias/ajeesh-gopalakrishnan"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Erik Moll"
    link: "https://researchr.org/alias/erik-moll"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11552338_15"
  links:
    doi: "http://dx.doi.org/10.1007/11552338_15"
  tags:
  - "XML"
  - "XML Schema"
  - "security"
  - "context-aware"
  researchr: "https://researchr.org/publication/NairGMM05"
  cites: 0
  citedby: 0
  pages: "217-233"
  booktitle: "Secure Data Management, Second VLDB Workshop, SDM 2005, Trondheim, Norway, September 2-3, 2005, Proceedings"
  editor:
  - name: "Willem Jonker"
    link: "https://researchr.org/alias/willem-jonker"
  - name: "Milan Petkovic"
    link: "https://researchr.org/alias/milan-petkovic"
  volume: "3674"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28798-1"
  kind: "inproceedings"
  key: "NairGMM05"
- title: "Forward Secure Communication in Wireless Sensor Networks"
  author:
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Ivo van Vessem"
    link: "https://researchr.org/alias/ivo-van-vessem"
  - name: "Bert Bos"
    link: "https://researchr.org/alias/bert-bos"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11734666_4"
  links:
    doi: "http://dx.doi.org/10.1007/11734666_4"
  tags:
  - "wireless sensor networks"
  researchr: "https://researchr.org/publication/MauwVB06"
  cites: 0
  citedby: 0
  pages: "32-42"
  booktitle: "Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings"
  editor:
  - name: "John A. Clark"
    link: "https://researchr.org/alias/john-a.-clark"
  - name: "Richard F. Paige"
    link: "http://www-users.cs.york.ac.uk/~paige/"
  - name: "Fiona A. C. Polack"
    link: "http://www-users.cs.york.ac.uk/~fiona/"
  - name: "Phillip J. Brooke"
    link: "https://researchr.org/alias/phillip-j.-brooke"
  volume: "3934"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33376-2"
  kind: "inproceedings"
  key: "MauwVB06"
- title: "Probabilities In The Torx Test Derivation Algorithm"
  author:
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  - name: "Nicolae Goga"
    link: "https://researchr.org/alias/nicolae-goga"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "2000"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/FeijsGM00"
  cites: 0
  citedby: 0
  pages: "173-188"
  booktitle: "SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000"
  editor:
  - name: "Edel Sherratt"
    link: "https://researchr.org/alias/edel-sherratt"
  publisher: "VERIMAG, IRISA, SDL Forum"
  kind: "inproceedings"
  key: "FeijsGM00"
- title: "Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent"
  author:
  - name: "Barbara Kordy"
    link: "https://researchr.org/alias/barbara-kordy"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Matthijs Melissen"
    link: "https://researchr.org/alias/matthijs-melissen"
  - name: "Patrick Schweitzer"
    link: "https://researchr.org/alias/patrick-schweitzer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17197-0_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17197-0_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gamesec/KordyMMS10"
  researchr: "https://researchr.org/publication/KordyMMS10"
  cites: 0
  citedby: 0
  pages: "245-256"
  booktitle: "Decision and Game Theory for Security - First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings"
  editor:
  - name: "Tansu Alpcan"
    link: "https://researchr.org/alias/tansu-alpcan"
  - name: "Levente Buttyán"
    link: "https://researchr.org/alias/levente-butty%C3%A1n"
  - name: "John S. Baras"
    link: "https://researchr.org/alias/john-s.-baras"
  volume: "6442"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-17196-3"
  kind: "inproceedings"
  key: "KordyMMS10"
- title: "A hierarchy of communication models for Message Sequence Charts"
  author:
  - name: "André Engels"
    link: "https://researchr.org/alias/andr%C3%A9-engels"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0167-6423(02)00022-9"
  links:
    doi: "http://dx.doi.org/10.1016/S0167-6423(02)00022-9"
  researchr: "https://researchr.org/publication/EngelsMR02"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "44"
  number: "3"
  pages: "253-292"
  kind: "article"
  key: "EngelsMR02"
- title: "Delayed choice: an operator for joining Message Sequence Charts"
  author:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  year: "1994"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BaetenM94"
  cites: 0
  citedby: 0
  pages: "340-354"
  booktitle: "Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994"
  editor:
  - name: "Dieter Hogrefe"
    link: "https://researchr.org/alias/dieter-hogrefe"
  - name: "Stefan Leue"
    link: "https://researchr.org/alias/stefan-leue"
  volume: "6"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman & Hall"
  isbn: "0-412-64450-9"
  kind: "inproceedings"
  key: "BaetenM94"
- title: "CONCUR  99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings"
  year: "1999"
  researchr: "https://researchr.org/publication/concur%3A1999"
  cites: 0
  citedby: 0
  booktitle: "CONCUR  99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings"
  conference: "concur"
  editor:
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  volume: "1664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-66425-4"
  kind: "proceedings"
  key: "concur:1999"
- title: "Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings"
  year: "2008"
  researchr: "https://researchr.org/publication/europki%3A2008"
  cites: 0
  citedby: 0
  booktitle: "Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings"
  conference: "europki"
  editor:
  - name: "Stig Fr. Mjølsnes"
    link: "https://researchr.org/alias/stig-fr.-mj%C3%B8lsnes"
  - name: "Sjouke Mauw"
    link: "http://satoss.uni.lu/members/sjouke/"
  - name: "Sokratis K. Katsikas"
    link: "https://researchr.org/alias/sokratis-k.-katsikas"
  volume: "5057"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-69484-7"
  kind: "proceedings"
  key: "europki:2008"