SSProve : a foundational framework for modular cryptographic proofs in Coq
autor
Haselwarter, Philipp G.
Rivas, Exequiel
Van Muylder, Antoine
Winterhalter, Théo
Abate, Carmine
Sidorenco, Nikolaj
Hriţcu, Cǎtǎlin
Maillard, Kenji
Spitters, Bas
vastutusandmed
Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Cǎtǎlin Hriţcu, Kenji Maillard, Bas Spitters
allikas
ACM Transactions on Programming Languages and Systems
kirjastus/väljaandja
ACM
ajakirja aastakäik number kuu
vol. 45, 3
ilmumisaasta
2023
leheküljed
art. 15
leitav
https://doi.org/10.1145/3594735
märksõna
krüptograafia
formaalne loogika
programmeerimiskeeled
võtmesõna
formal verification
game-based proofs
high-assurance cryptography
machine-checked proofs
probabilistic relational program logic
state-separating proofs
ISSN
0164-0925
märkused
Bibliogr.: 98 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise