Sjouke Mauw

Cas Cremers, Sjouke Mauw: Operational Semantics and Verification of Security Protocols. Information Security and Cryptography, Springer 2012, isbn 978-3-540-78636-8

Selwyn Piramuthu, Gaurav Kapoor, Wei Zhou, Sjouke Mauw: Input online review data and related bias in recommender systems. Decision Support Systems 53(3): 418-424 (2012)

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw: Game-based verification of contract signing protocols with minimal messages. ISSE 8(2): 111-124 (2012)

Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw: A trust-augmented voting scheme for collaborative privacy management. Journal of Computer Security 20(4): 437-459 (2012)

Qixia Yuan, Panuwat Trairatphisan, Jun Pang, Sjouke Mauw, Monique Wiesinger, Thomas Sauter: Probabilistic Model Checking of the PDGF Signaling Pathway. T. Comp. Sys. Biology 14: 151-180 (2012)

Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang: A Group Signature Based Electronic Toll Pricing System. ARES 2012: 85-93

Barbara Kordy, Sjouke Mauw, Patrick Schweitzer: Quantitative Questions on Attack-Defense Trees. ICISC 2012: 49-64

Qian Li, Péter Schaffer, Jun Pang, Sjouke Mauw: Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. TASE 2012: 249-252

Barbara Kordy, Sjouke Mauw, Patrick Schweitzer: Quantitative Questions on Attack-Defense Trees. CoRR abs/1210.8092 (2012)

Gabriele Lenzini, Sjouke Mauw, Jun Pang: Selective Location Blinding Using Hash Chains. Security Protocols Workshop 2011: 132-141

Sjouke Mauw: Selective Location Blinding Using Hash Chains (Transcript of Discussion). Security Protocols Workshop 2011: 142-149

Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen: Fairness in Non-Repudiation Protocols. STM 2011: 122-139

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: mCarve: Carving Attributed Dump Sets. USENIX Security Symposium 2011

Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter: A Study of the PDGF Signaling Pathway with PRISM. CompMod 2011: 65-81

Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang: A Group Signature Based Electronic Toll Pricing System. CoRR abs/1108.0574 (2011)

Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer: Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. GameSec 2010: 245-256

Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer: Foundations of Attack-Defense Trees. Formal Aspects in Security and Trust 2010: 80-95

Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw: A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM 2010: 132-146

Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer: Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. CoRR abs/1006.2732 (2010)

Hugo L. Jonker, Sjouke Mauw, Jun Pang: A formal framework for quantifying voter-controlled privacy. J. Algorithms 64(2-3): 89-105 (2009)

Hugo L. Jonker, Sjouke Mauw, Jun Pang: Measuring Voter-Controlled Privacy. ARES 2009: 289-298

Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti: Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF 2009: 13-25

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers: Secure Ownership and Ownership Transfer in RFID Systems. ESORICS 2009: 637-654

Baptiste Alcalde, Sjouke Mauw: An Algebra for Trust Dilution and Trust Fusion. Formal Aspects in Security and Trust 2009: 4-20

Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw: Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust 2009: 186-200

Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic: Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. Electr. Notes Theor. Comput. Sci. 197(2): 31-43 (2008)

Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. Inf. Comput. 206(2-4): 425-459 (2008)

Fabio Massacci, Frank Piessens, Sjouke Mauw: Preface. Sci. Comput. Program. 74(1-2): 1 (2008)

Ton van Deursen, Sjouke Mauw, Sasa Radomirovic: Untraceability of RFID Protocols. WISTP 2008: 1-15

Stig Fr. Mjølsnes, Sjouke Mauw, Sokratis K. Katsikas (Eds.): Public Key Infrastructure, 5th European PKI Workshop: Theory and Practice, EuroPKI 2008, Trondheim, Norway, June 16-17, 2008, Proceedings. Lecture Notes in Computer Science 5057, Springer 2008, isbn 978-3-540-69484-7

Sjouke Mauw, Jan Verschuren, Erik P. de Vink: Data Anonymity in the FOO Voting Scheme. Electr. Notes Theor. Comput. Sci. 168: 5-28 (2007)

Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw: A Certified Email Protocol Using Key Chains. AINA Workshops (1) 2007: 525-530

Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers: Preface. Electr. Notes Theor. Comput. Sci. 157(3): 1-2 (2006)

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: Injective synchronisation: An extension of the authentication hierarchy. Theor. Comput. Sci. 367(1-2): 139-161 (2006)

Sjouke Mauw, Ivo van Vessem, Bert Bos: Forward Secure Communication in Wireless Sensor Networks. SPC 2006: 32-42

Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic: A framework for compositional verification of security protocols. CoRR abs/cs/0611062 (2006)

Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink: A Syntactic Criterion for Injectivity of Authentication Protocols. Electr. Notes Theor. Comput. Sci. 135(1): 23-38 (2005)

Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)

Sjouke Mauw, Martijn Oostdijk: Foundations of Attack Trees. ICISC 2005: 186-198

Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll: XML Security in the Next Generation Optical Disc Context. Secure Data Management 2005: 217-233

Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language-Driven System Design. International Journal of Software Engineering and Knowledge Engineering 14(6): 625-663 (2004)

Sjouke Mauw, Jan Verschuren, Erik P. de Vink: A Formalization of Anonymity and Onion Routing. ESORICS 2004: 109-124

Cas J. F. Cremers, Sjouke Mauw: Checking Secrecy by Means of Partial Order Reduction. SAM 2004: 171-188

Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw: Task Allocation in a Multi-Server System. J. Scheduling 6(5): 423-436 (2003)

Cas J. F. Cremers, Sjouke Mauw: Operational Semantics of Security Protocols. Scenarios: Models, Transformations and Tools 2003: 66-89

Harm M. A. van Beek, Sjouke Mauw: Automatic Conformance Testing of Internet Applications. FATES 2003: 205-222

André Engels, Sjouke Mauw, Michel A. Reniers: A hierarchy of communication models for Message Sequence Charts. Sci. Comput. Program. 44(3): 253-292 (2002)

Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse: Language Driven System Design. HICSS 2002: 280

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans: Test Selection, Trace Distance and Heuristics. TestCom 2002: 267-282

Sjouke Mauw: Introduction by the guest editor. Comput. Lang. 27(1/3): 1-2 (2001)

Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen: An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing 14(2): 75-81 (2001)

Marc Voorhoeve, Sjouke Mauw: Impossible futures and determinism. Inf. Process. Lett. 80(1): 51-58 (2001)

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: Specifying internet applications with DiCons. SAC 2001: 576-584

Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw: An MSC Based Representation of DiCons. SDL Forum 2001: 328-347

Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs: IC Design Validation Using Message Sequence Charts. EUROMICRO 2000: 1122-

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw: Probabilities In The Torx Test Derivation Algorithm. SAM 2000: 173-188

Sjouke Mauw, Michel A. Reniers: Operational Semantics for MSC'96. Computer Networks 31(17): 1785-1799 (1999)

Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink: Formal Test Automation: A Simple Experiment. IWTCS 1999: 179-196

André Engels, Loe M. G. Feijs, Sjouke Mauw: MSC and data: dynamic variables. SDL Forum 1999: 105-

Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107

Jos C. M. Baeten, Sjouke Mauw (Eds.): CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Lecture Notes in Computer Science 1664, Springer 1999, isbn 3-540-66425-4

André Engels, Sjouke Mauw, Michel A. Reniers: A Hierarchy of Communication Models for Message Sequence Charts. FORTE 1997: 75-90

Sjouke Mauw, Michel A. Reniers: High-level message sequence charts. SDL Forum 1997: 291-306

André Engels, Loe M. G. Feijs, Sjouke Mauw: Test Generation for Intelligent Networks Using Model Checking. TACAS 1997: 384-398

Sjouke Mauw: The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems 28(12): 1643-1657 (1996)

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw: Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. Distributed Computing 9(4): 157-171 (1996)

Sjouke Mauw, Michel A. Reniers: Refinement in Interworkings. CONCUR 1996: 671-686

Pedro R. D'Argenio, Sjouke Mauw: Delayed choice for process algebra with abstraction. CONCUR 1995: 501-515

Sjouke Mauw, Michel A. Reniers: An Algebraic Semantics of Basic Message Sequence Charts. Comput. J. 37(4): 269-278 (1994)

Sjouke Mauw, Hans Mulder: Regularity of BPA-Systems is Decidable. CONCUR 1994: 34-47

Jos C. M. Baeten, Sjouke Mauw: Delayed choice: an operator for joining Message Sequence Charts. FORTE 1994: 340-354

Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk: Uniform Algebraic Specifications of Finite Sets with Equality. Int. J. Found. Comput. Sci. 2(1): 43-65 (1991)

Sjouke Mauw, Gert J. Veltink: A Proof Assistant for PSF. CAV 1991: 158-168

Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink: A Process Specification Formalism Based on Static COLD. Algebraic Methods 1989: 303-335

Sjouke Mauw, Freek Wiedijk: Specification of the Transit Node in PSF_d. Algebraic Methods 1989: 341-361

Sjouke Mauw, Gert J. Veltink: An Introduction to PSFd. TAPSOFT, Vol.2 1989: 272-285

Sjouke Mauw: An Algebraic Specification of Process Algebra, Including Two Examples. Algebraic Methods 1987: 507-554