Morten Dahl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2008–2014
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | EuroCrypt | Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption. | Morten Dahl, Ivan Damgrd |
| 2012 | FC | On Secure Two-Party Integer Division. | Morten Dahl, Chao Ning, Tomas Toft |
| 2011 | ATVA | Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols. | Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Httel |
| 2010 | ESORICS | Formal Analysis of Privacy for Vehicular Mix-Zones. | Morten Dahl, Stphanie Delaune, Graham Steel |
| 2008 | PLDI | Resource bound analysis for database queries. | James Cheney, Morten Dahl |