BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Denmark
1 × USA
Collaborated with:
J.Meseguer S.Escobar D.Kapur C.Lynch C.Meadows P.Narendran S.Erbatur Z.Liu S.Santiago
Talks about:
variant (6) unif (4) narrow (3) protocol (2) analysi (2) termin (2) optim (2) fold (2) cryptograph (1) homomorph (1)

Person: Ralf Sasse

DBLP DBLP: Sasse:Ralf

Contributed to:

CADE 20132013
PPDP 20112011
WRLA 20102010
WRLA 20102012
RTA 20082008
WRLA 20082009
WRLA 20062007

Wrote 7 papers:

CADE-2013-ErbaturEKLLMMNSS #analysis #encryption #paradigm #protocol #symmetry #unification
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis (SE, SE, DK, ZL, CL, CM, JM, PN, SS, RS), pp. 231–248.
PPDP-2011-EscobarKLMMNS #analysis #encryption #protocol #unification #using
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption (SE, DK, CL, CM, JM, PN, RS), pp. 65–76.
WRLA-2010-EscobarSM #termination
Folding Variant Narrowing and Optimal Variant Termination (SE, RS, JM), pp. 52–68.
WRLA-J-2010-EscobarSM12 #termination
Folding variant narrowing and optimal variant termination (SE, RS, JM), pp. 898–928.
RTA-2008-EscobarMS #effectiveness #finite
Effectively Checking the Finite Variant Property (SE, JM, RS), pp. 79–93.
WRLA-2008-EscobarMS09 #equation #unification
Variant Narrowing and Equational Unification (SE, JM, RS), pp. 103–119.
WRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.