Travelled to:1 × USA
Collaborated with:S.Escobar J.Meseguer F.Yang Catherine A. Meadows S.Erbatur D.Kapur Z.Liu C.Lynch C.Meadows P.Narendran R.Sasse
Talks about:unif (2) cryptograph (1) protocol (1) paradigm (1) asymmetr (1) process (1) analysi (1) algebra (1) strand (1) semant (1)
Person: Sonia Santiago
DBLP: Santiago:Sonia
Contributed to:
2013
2016Wrote 2 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-2016-YangEMMS #algebra #process #semantics
- Strand spaces with choice via a process algebra semantics (FY, SE, CAM, JM, SS), pp. 76–89.