| 2012 | ||
|---|---|---|
| c5 | Morten Dahl, Chao Ning, Tomas Toft: On Secure Two-Party Integer Division. Financial Cryptography 2012: 164-178 | |
| i1 | Morten Dahl, Chao Ning, Tomas Toft: On Secure Two-party Integer Division. IACR Cryptology ePrint Archive 2012: 164 (2012) | |
| 2011 | ||
| c4 | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel: Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. ATVA 2011: 75-89 | |
| c3 | Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Anonymous Location Based Services. TOSCA 2011: 98-112 | |
| 2010 | ||
| c2 | Morten Dahl, Stéphanie Delaune, Graham Steel: Formal Analysis of Privacy for Vehicular Mix-Zones. ESORICS 2010: 55-70 | |
| 2008 | ||
| c1 | ||
| 1 | James Cheney | |
| 2 | Stéphanie Delaune | |
| 3 | Hans Hüttel | |
| 4 | Naoki Kobayashi | |
| 5 | Chao Ning | |
| 6 | Graham Steel | |
| 7 | Yunde Sun | |
| 8 | Tomas Toft |
Colors in the list of coauthors
Last update Fri May 24 18:59:28 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page