dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Sjouke Mauw (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQian Li, Péter Schaffer, Jun Pang, Sjouke Mauw: Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. TASE 2012: 249-252
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw: Game-based verification of contract signing protocols with minimal messages. ISSE 8(2): 111-124 (2012)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter: A Study of the PDGF Signaling Pathway with PRISM CompMod 2011: 65-81
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriele Lenzini, Sjouke Mauw, Jun Pang: Selective Location Blinding Using Hash Chains. Security Protocols Workshop 2011: 132-141
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang: A Group Signature Based Electronic Toll Pricing System CoRR abs/1108.0574: (2011)
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw: A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM 2010: 132-146
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo L. Jonker, Sjouke Mauw, Jun Pang: Measuring Voter-Controlled Privacy. ARES 2009: 289-298
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYing 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo L. Jonker, Sjouke Mauw, Jun Pang: A formal framework for quantifying voter-controlled privacy. J. Algorithms 64(2-3): 89-105 (2009)

Selection of 9 from 71 records - Sjouke Mauw has 78 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page