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 × Italy
1 × United Kingdom
Collaborated with:
M.Debbabi A.Soeanu S.Ray J.Berger A.Boukhtouta
Talks about:
cryptoprotocol (1) properti (1) approach (1) problem (1) decentr (1) verifi (1) vehicl (1) mechan (1) design (1) secur (1)

Person: Mohamed Saleh

DBLP DBLP: Saleh:Mohamed

Contributed to:

SAC 20122012
SEFM 20072007

Wrote 2 papers:

SAC-2012-SalehSRDBB #design #distributed #problem
Mechanism design for decentralized vehicle routing problem (MS, AS, SR, MD, JB, AB), pp. 749–754.
SEFM-2007-SalehD #approach #novel #security #verification
Verifying Security Properties of Cryptoprotocols: A Novel Approach (MS, MD), pp. 349–360.

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.