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: Sasse:Ralf
Contributed to:
2013
2011
20102012
200820092007Wrote 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.