Ralf Sasse

From MaRDI portal
Person:1931908

Available identifiers

zbMath Open sasse.ralfMaRDI QIDQ1931908

List of research outcomes





PublicationDate of PublicationType
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols2020-08-03Paper
Symbolic analysis of identity-based protocols2020-03-03Paper
Alice and Bob Meet Equational Theories2015-09-14Paper
Variant Narrowing and Equational Unification2015-03-19Paper
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis2013-06-14Paper
Folding variant narrowing and optimal variant termination2013-01-16Paper
Folding Variant Narrowing and Optimal Variant Termination2010-10-12Paper
Effectively Checking the Finite Variant Property2008-08-28Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics2008-05-27Paper

Research outcomes over time

This page was built for person: Ralf Sasse

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1931908&oldid=6525145"
Powered by MediaWiki