Sjouke Mauw

Available identifiers

zbMath Open mauw.sjoukeWikidataQ99849330 ScholiaQ99849330MaRDI QIDQ395656

List of research outcomes

Publication	Date of Publication	Type
Refinement in Interworkings	2023-06-28	Paper
When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus	2023-05-12	Paper
Active Re-identification Attacks on Periodically Released Dynamic Social Graphs	2022-12-22	Paper
Automated identification of desynchronisation attacks on shared secrets	2022-08-25	Paper
Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity	2022-03-31	Paper
A Formalization of Anonymity and Onion Routing	2022-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q5009710	2021-08-05	Paper
An algorithm for the asynchronous Write-All problem based on process collision	2020-12-03	Paper
Design and analysis of dynamic leader election protocols in broadcast networks	2020-11-30	Paper
Semantics for Specialising Attack Trees based on Linear Logic	2018-01-05	Paper
Attack-defense trees	2014-04-01	Paper
Privacy and verifiability in voting systems: methods, developments and trends	2014-01-29	Paper
https://portal.mardi4nfdi.de/entity/Q2851074	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848476	2013-09-26	Paper
Quantitative Questions on Attack–Defense Trees	2013-06-04	Paper
Probabilistic Model Checking of the PDGF Signaling Pathway	2013-04-03	Paper
Operational semantics and verification of security protocols.	2010-12-08	Paper
Attack–Defense Trees and Two-Player Binary Zero-Sum Extensive Form Games Are Equivalent	2010-11-23	Paper
A formal framework for quantifying voter-controlled privacy	2009-07-24	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
A framework for compositional verification of security protocols	2008-04-16	Paper
Task allocation in a multi-server system	2007-12-20	Paper
Information Security and Cryptology - ICISC 2005	2007-05-02	Paper
Injective synchronisation: An extension of the authentication hierarchy	2007-01-09	Paper
A hierarchy of communication models for message sequence charts	2002-10-16	Paper
Impossible futures and determinism	2002-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q2779789	2002-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q2760256	2001-01-01	Paper
UNIFORM ALGEBRAIC SPECIFICATIONS OF FINITE SETS WITH EQUALITY	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3485879	1990-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sjouke Mauw