 | 2012 |
|---|
| 5 |       | Morten Dahl,
Chao Ning,
Tomas Toft:
On Secure Two-party Integer Division.
IACR Cryptology ePrint Archive 2012: 164 (2012) |
| 2011 |
|---|
| 4 | | Morten Dahl,
Naoki Kobayashi,
Yunde Sun,
Hans Hüttel:
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.
ATVA 2011: 75-89 |
| 3 | | Morten Dahl,
Stéphanie Delaune,
Graham Steel:
Formal Analysis of Privacy for Anonymous Location Based Services.
TOSCA 2011: 98-112 |
| 2010 |
|---|
| 2 | | Morten Dahl,
Stéphanie Delaune,
Graham Steel:
Formal Analysis of Privacy for Vehicular Mix-Zones.
ESORICS 2010: 55-70 |
| 2008 |
|---|
| 1 | | James Cheney,
Morten Dahl:
Resource bound analysis for database queries.
PLAS 2008: 67-78 |
Data released under the ODC-BY 1.0 license — See also our legal information page