TU Darmstadt / ULB / TUbiblio

Formally Verified Montgomery Multiplication

Walther, Christoph (2018):
Formally Verified Montgomery Multiplication.
pp. 505-522, 30th Intern. Conf. on Computer Aided Verification (CAV 2018), Oxford, UK, 14.-17.07., ISBN 978-3-319-96142-2,
DOI: 10.1007/978-3-319-96142-2_30,
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2018
Creators: Walther, Christoph
Title: Formally Verified Montgomery Multiplication
Language: English
ISBN: 978-3-319-96142-2
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Event Title: 30th Intern. Conf. on Computer Aided Verification (CAV 2018)
Event Location: Oxford, UK
Event Dates: 14.-17.07.
Date Deposited: 13 Mar 2020 10:04
DOI: 10.1007/978-3-319-96142-2_30
Official URL: https://link.springer.com/chapter/10.1007/978-3-319-96142-2_...
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details