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: Saleh:Mohamed
Contributed to:
2012
2007Wrote 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.