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 × 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 DBLP: Santiago:Sonia

Contributed to:

CADE 20132013
PPDP 20162016

Wrote 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.

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.