| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw |
Game-based verification of contract signing protocols with minimal messages.  |
ISSE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Qixia Yuan, Jun Pang, Sjouke Mauw, Panuwat Trairatphisan, Monique Wiesinger, Thomas Sauter |
A Study of the PDGF Signaling Pathway with PRISM |
CompMod |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xihui Chen, Gabriele Lenzini, Sjouke Mauw, Jun Pang |
A Group Signature Based Electronic Toll Pricing System |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Sjouke Mauw, Matthijs Melissen |
Fairness in Non-Repudiation Protocols. |
STM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ton van Deursen, Sjouke Mauw, Sasa Radomirovic |
mCarve: Carving Attributed Dump Sets. |
USENIX Security Symposium |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw |
Selective Location Blinding Using Hash Chains (Transcript of Discussion). |
Security Protocols Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Lenzini, Sjouke Mauw, Jun Pang |
Selective Location Blinding Using Hash Chains. |
Security Protocols Workshop |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer |
Attack--Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Barbara Kordy, Sjouke Mauw, Matthijs Melissen, Patrick Schweitzer |
Attack-Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent. |
GameSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer |
Foundations of Attack-Defense Trees. |
Formal Aspects in Security and Trust |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw |
A Trust-Augmented Voting Scheme for Collaborative Privacy Management. |
STM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo L. Jonker, Sjouke Mauw, Jun Pang |
A formal framework for quantifying voter-controlled privacy. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Baptiste Alcalde, Sjouke Mauw |
An Algebra for Trust Dilution and Trust Fusion. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw |
Game-Based Verification of Multi-Party Contract Signing Protocols. |
Formal Aspects in Security and Trust |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti |
Minimal Message Complexity of Asynchronous Multi-party Contract Signing. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
Contract signing protocols, Shortest Permutation Sequences, Complexity, Multi-party protocols |
| 1 | Hugo L. Jonker, Sjouke Mauw, Jun Pang |
Measuring Voter-Controlled Privacy. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ton van Deursen, Sjouke Mauw, Sasa Radomirovic, Pim Vullers |
Secure Ownership and Ownership Transfer in RFID Systems. |
ESORICS |
2009 |
DBLP DOI BibTeX RDF |
RFID protocols, desynchronization resistance, formal verification, ownership, ownership transfer |
| 1 | Fabio Massacci, Frank Piessens, Sjouke Mauw |
Preface. |
Sci. Comput. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Pieter Ceelen, Sjouke Mauw, Sasa Radomirovic |
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ton van Deursen, Sjouke Mauw, Sasa Radomirovic |
Untraceability of RFID Protocols. |
WISTP |
2008 |
DBLP DOI BibTeX RDF |
RFID protocols, formal verification, untraceability |
| 1 | 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 |
EuroPKI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
Data Anonymity in the FOO Voting Scheme. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw |
A Certified Email Protocol Using Key Chains. |
AINA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
Injective synchronisation: An extension of the authentication hierarchy. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Valérie Issarny, Cas J. F. Cremers |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Ivo van Vessem, Bert Bos |
Forward Secure Communication in Wireless Sensor Networks. |
SPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik |
Analysing the BKE-security Protocol with µCRL. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw, Erik P. de Vink |
A Syntactic Criterion for Injectivity of Authentication Protocols. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Martijn Oostdijk |
Foundations of Attack Trees. |
ICISC |
2005 |
DBLP DOI BibTeX RDF |
semantics, attack trees, threat analysis |
| 1 | Gopakumar Nair, Ajeesh Gopalakrishnan, Sjouke Mauw, Erik Moll |
XML Security in the Next Generation Optical Disc Context. |
Secure Data Management |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse |
Language-Driven System Design. |
International Journal of Software Engineering and Knowledge Engineering |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw |
Checking Secrecy by Means of Partial Order Reduction. |
SAM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
A Formalization of Anonymity and Onion Routing. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw |
Task Allocation in a Multi-Server System. |
J. Scheduling |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas J. F. Cremers, Sjouke Mauw |
Operational Semantics of Security Protocols. |
Scenarios: Models, Transformations and Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Harm M. A. van Beek, Sjouke Mauw |
Automatic Conformance Testing of Internet Applications. |
FATES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A hierarchy of communication models for Message Sequence Charts. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans |
Test Selection, Trace Distance and Heuristics. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse |
Language Driven System Design. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
Language Driven Approach, Traffic Light Control, Domain-Specific Languages, Systems Engineering, Language Design |
| 1 | Marc Voorhoeve, Sjouke Mauw |
Impossible futures and determinism. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen |
An algorithm for the asynchronous Write-All problem based on process collision. |
Distributed Computing |
2001 |
DBLP DOI BibTeX RDF |
Write-all problem, Distributed algorithms, Dynamic load balancing, PRAM, Wait-free, Work complexity |
| 1 | Sjouke Mauw |
Introduction by the guest editor. |
Comput. Lang. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw |
Specifying internet applications with DiCons. |
SAC |
2001 |
DBLP DOI BibTeX RDF |
DiCons, distributed consnsus, Internet, World Wide Web (WWW), language design, internet applications |
| 1 | Jos C. M. Baeten, Harm M. A. van Beek, Sjouke Mauw |
An MSC Based Representation of DiCons. |
SDL Forum |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw |
Probabilities In The Torx Test Derivation Algorithm. |
SAM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Harald P. E. Vranken, Tomás Garciá Garciá, Sjouke Mauw, Loe M. G. Feijs |
IC Design Validation Using Message Sequence Charts. (PDF / PS) |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
Operational Semantics for MSC'96. |
Computer Networks |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Sjouke Mauw (eds.) |
CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings |
CONCUR |
1999 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen |
Model Checking for Managers. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | André Engels, Loe M. G. Feijs, Sjouke Mauw |
MSC and data: dynamic variables. |
SDL Forum |
1999 |
DBLP BibTeX RDF |
|
| 1 | André Engels, Sjouke Mauw, Michel A. Reniers |
A Hierarchy of Communication Models for Message Sequence Charts. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | André Engels, Loe M. G. Feijs, Sjouke Mauw |
Test Generation for Intelligent Networks Using Model Checking. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
High-level message sequence charts. |
SDL Forum |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw |
The Formalization of Message Sequence Charts. |
Computer Networks and ISDN Systems |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans, Sjouke Mauw |
Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks. |
Distributed Computing |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
Refinement in Interworkings. |
CONCUR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro R. D'Argenio, Sjouke Mauw |
Delayed choice for process algebra with abstraction. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Michel A. Reniers |
An Algebraic Semantics of Basic Message Sequence Charts. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Hans Mulder |
Regularity of BPA-Systems is Decidable. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Sjouke Mauw |
Delayed choice: an operator for joining Message Sequence Charts. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk |
Uniform Algebraic Specifications of Finite Sets with Equality. |
Int. J. Found. Comput. Sci. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Sjouke Mauw, Gert J. Veltink |
A Proof Assistant for PSF. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Gert J. Veltink |
An Introduction to PSFd. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink |
A Process Specification Formalism Based on Static COLD. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Freek Wiedijk |
Specification of the Transit Node in PSFd. |
Algebraic Methods |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw |
An Algebraic Specification of Process Algebra, Including Two Examples. |
Algebraic Methods |
1987 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")