SSProve : a foundational framework for modular cryptographic proofs in Coq
autor
Haselwarter, Philipp G.
Van Muylder, Antoine
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
ajakirja aastakäik number kuu
vol. 45, 3
ilmumisaasta
leheküljed
art. 15
võtmesõna
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
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Haselwarter, P., Rivas, E., Van Muylder, A., Winterhalter, T., Abate, C., Sidorenco, N., Hriţcu, C., Maillard, K., Spitters, B. SSProve : a foundational framework for modular cryptographic proofs in Coq // ACM Transactions on Programming Languages and Systems (2023) vol. 45, 3, art. 15.