Sjouke Mauw

Available identifiers

zbMath Open mauw.sjoukeDBLPm/SjoukeMauwWikidataQ99849330 ScholiaQ99849330MaRDI QIDQ395656

List of research outcomes

Publication	Date of Publication	Type
A graphical proof theory of logical time	2024-05-27	Paper
A proof assistant for PSF	2024-04-29	Paper
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
Analysing the BKE-security protocol with \(\mu\)CRL	2013-10-02	Paper
A syntactic criterion for injectivity of authentication protocols	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
A process algebra for interworkings.	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

This page was built for person: Sjouke Mauw