Ralf Sasse

MaRDI QIDQ1931908zbMATH OpenORCIDFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols Lecture Notes in Computer Science	2020-08-03	Paper
Symbolic analysis of identity-based protocols	2020-03-03	Paper
Alice and Bob meet equational theories Lecture Notes in Computer Science	2015-09-14	Paper
Variant narrowing and equational unification Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Asymmetric unification: a new unification paradigm for cryptographic protocol analysis Automated Deduction – CADE-24	2013-06-14	Paper
Folding variant narrowing and optimal variant termination The Journal of Logic and Algebraic Programming	2013-01-16	Paper
Folding Variant Narrowing and Optimal Variant Termination Rewriting Logic and Its Applications	2010-10-12	Paper
Effectively Checking the Finite Variant Property Rewriting Techniques and Applications	2008-08-28	Paper
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper

Research outcomes over time

This page was built for person: Ralf Sasse