Show simple item record

dc.contributor.author
Basin, David A.
dc.contributor.author
Lochbihler, Andreas
dc.contributor.author
Sefidgar, S. Reza
dc.date.accessioned
2020-03-26T11:58:32Z
dc.date.available
2020-03-25T02:38:46Z
dc.date.available
2020-03-26T11:58:32Z
dc.date.issued
2020
dc.identifier.issn
1432-1378
dc.identifier.issn
0933-2790
dc.identifier.other
10.1007/s00145-019-09341-z
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/406448
dc.language.iso
en
en_US
dc.publisher
Springer
en_US
dc.subject
Provable security
en_US
dc.subject
Game-based proofs
en_US
dc.subject
Theorem proving
en_US
dc.subject
Higher-order logic
en_US
dc.subject
Isabelle/HOL
en_US
dc.title
CryptHOL: Game-Based Proofs in Higher-Order Logic
en_US
dc.type
Journal Article
dc.date.published
2020-01-06
ethz.journal.title
Journal of Cryptology
ethz.journal.volume
33
en_US
ethz.journal.issue
2
en_US
ethz.journal.abbreviated
J Cryptol
ethz.pages.start
494
en_US
ethz.pages.end
566
en_US
ethz.grant
Formalising Computational Soundness for Protocol Implementations
en_US
ethz.identifier.wos
ethz.identifier.scopus
ethz.publication.place
New York, NY
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.grant.agreementno
153217
ethz.grant.fundername
SNF
ethz.grant.funderDoi
10.13039/501100001711
ethz.grant.program
Projektförderung in Mathematik, Natur- und Ingenieurwissenschaften (Abteilung II)
ethz.date.deposited
2020-03-25T02:39:13Z
ethz.source
SCOPUS
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2020-03-26T11:58:43Z
ethz.rosetta.lastUpdated
2021-02-15T09:40:47Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=CryptHOL:%20Game-Based%20Proofs%20in%20Higher-Order%20Logic&rft.jtitle=Journal%20of%20Cryptology&rft.date=2020&rft.volume=33&rft.issue=2&rft.spage=494&rft.epage=566&rft.issn=1432-1378&0933-2790&rft.au=Basin,%20David%20A.&Lochbihler,%20Andreas&Sefidgar,%20S.%20Reza&rft.genre=article&rft_id=info:doi/10.1007/s00145-019-09341-z&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record