Morten Dahl
Orcid: 0000-0001-7476-5960
According to our database1,
Morten Dahl
authored at least 11 papers
between 2008 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
IACR Cryptol. ePrint Arch., 2023
2020
IACR Cryptol. ePrint Arch., 2020
2018
2017
2013
Universally Composable Symbolic Analysis for Two-Party Protocols based on Homomorphic Encryption.
IACR Cryptol. ePrint Arch., 2013
2012
2011
Proceedings of the Theory of Security and Applications - Joint Workshop, 2011
Type-Based Automated Verification of Authenticity in Asymmetric Cryptographic Protocols.
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the Computer Security, 2010
2008
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008