Morten Dahl

According to our database, Morten Dahl authored at least 11 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Noah's Ark: Efficient Threshold-FHE Using Noise Flooding.

Morten Dahl, Daniel Demmler, Sarah El Kazdadi, Arthur Meyre, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Samuel Tap, Michael Walter

Proceedings of the 11th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, 2023

2020

Privacy-preserving collaborative machine learning on genomic data using TensorFlow.

Cheng Hong, Zhicong Huang, Wen-jie Lu, Hunter Qu, Li Ma, Morten Dahl, Jason Mancuso

Proceedings of the ACM TUR-C'20: ACM Turing Celebration Conference, 2020

2018

A generic framework for privacy preserving deep learning.

Théo Ryffel, Andrew Trask, Morten Dahl, Bobby Wagner, Jason Mancuso, Daniel Rueckert, Jonathan Passerat-Palmbach

CoRR, 2018

Private Machine Learning in TensorFlow using Secure Computation.

Morten Dahl, Jason Mancuso, Yann Dupis, Ben Decoste, Morgan Giraud, Ian Livingstone, Justin Patriquin, Gavin Uhma

CoRR, 2018

2017

Private Data Aggregation on a Budget.

Morten Dahl, Valerio Pastro, Mathieu Poumeyrol

IACR Cryptol. ePrint Arch., 2017

2014

Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption.

Morten Dahl, Ivan Damgård

Proceedings of the Advances in Cryptology - EUROCRYPT 2014, 2014

2012

On Secure Two-Party Integer Division.

Morten Dahl, Chao Ning, Tomas Toft

Proceedings of the Financial Cryptography and Data Security, 2012

2011

Formal Analysis of Privacy for Anonymous Location Based Services.

Morten Dahl, Stéphanie Delaune, Graham Steel

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.

Morten Dahl, Naoki Kobayashi, Yunde Sun, Hans Hüttel

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Formal Analysis of Privacy for Vehicular Mix-Zones.

Morten Dahl, Stéphanie Delaune, Graham Steel

Proceedings of the Computer Security, 2010

2008

Resource bound analysis for database queries.

James Cheney, Morten Dahl

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008