SSProve : a foundational framework for modular cryptographic proofs in Coq
author
Haselwarter, Philipp G.
Rivas, Exequiel
Van Muylder, Antoine
Winterhalter, Théo
Abate, Carmine
Sidorenco, Nikolaj
Hriţcu, Cǎtǎlin
Maillard, Kenji
Spitters, Bas
statement of authorship
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cǎtǎlin Hriţcu, Kenji Maillard, Bas Spitters
source
ACM Transactions on Programming Languages and Systems
publisher
ACM
journal volume number month
vol. 45, 3
year of publication
2023
pages
art. 15
url
https://doi.org/10.1145/3594735
subject term
krüptograafia
formaalne loogika
programmeerimiskeeled
keyword
formal verification
game-based proofs
high-assurance cryptography
machine-checked proofs
probabilistic relational program logic
state-separating proofs
ISSN
0164-0925
notes
Bibliogr.: 98 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
https://www.scopus.com/sourceid/27836
https://www.scopus.com/record/display.uri?eid=2-s2.0-85173587757&origin=resultslist&sort=plf-f&src=s&sid=4cccad9163859ccf7ef58333a8773ab8&sot=b&sdt=b&s=TITLE%28%22SSProve%3A+A+Foundational+Framework+for+Modular+Cryptographic+Proofs+in+Coq%22%29&sl=82&sessionSearchId=4cccad9163859ccf7ef58333a8773ab8&relpos=0
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20T%20PROGR%20LANG%20SYS&year=2023
https://www.webofscience.com/wos/woscc/full-record/WOS:001066592300002
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
quartile
Q1
TalTech department
tarkvarateaduse instituut
language
inglise