SSProve : a foundational framework for modular cryptographic proofs in Coq
autor
Haselwarter, Philipp G.
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
ajakirja aastakäik number kuu
vol. 45, 3
ilmumisaasta
leheküljed
art. 15
ISSN
0164-0925
märkused
Bibliogr.: 98 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
game-based proofs
high-assurance cryptography
machine-checked proofs
probabilistic relational program logic
state-separating proofs
klassifikaator
kvartiil
kategooria (üld)
kategooria (alam)
TTÜ struktuuriüksus
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.