Travelled to:1 × France
1 × USA
1 × United Kingdom
Collaborated with:A.M.Marshall C.Ringeissen P.Narendran D.Kapur C.Lynch C.Meadows S.Anantharaman M.Rusinowitch S.Escobar Z.Liu J.Meseguer S.Santiago R.Sasse
Talks about:unif (4) combin (3) asymmetr (2) theori (2) cryptograph (1) constructor (1) distribut (1) synchron (1) protocol (1) paradigm (1)
Person: Serdar Erbatur
DBLP: Erbatur:Serdar
Contributed to:
2014
2013
20122017Wrote 5 papers:
- FoSSaCS-2014-ErbaturKMMNR #on the #problem #symmetry #unification
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (SE, DK, AMM, CM, PN, CR), pp. 274–288.
- 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.
- CADE-2013-ErbaturKMNR
- Hierarchical Combination (SE, DK, AMM, PN, CR), pp. 249–266.
- IJCAR-2012-AnantharamanELNR #unification
- Unification Modulo Synchronous Distributivity (SA, SE, CL, PN, MR), pp. 14–29.
- CADE-2017-ErbaturMR
- Notions of Knowledge in Combinations of Theories Sharing Constructors (SE, AMM, CR), pp. 60–76.