Leakage-free probabilistic Jasmin programs
autor
vastutusandmed
José Bacelar Almeida, Denis Firsov, Tiago Oliviera, Dominique Unruh
allikas
CPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
ilmumiskoht
New York
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 3-16
konverentsi nimetus, aeg
CPP '25 : 14th ACM SIGPLAN International Conference on Certified Programs and ProofsDenver, January 20-21, 2025
konverentsi toimumispaik
Denver, Colorado, USA
ISBN
979-8-4007-1347-7
märkused
Bibliogr.: 19 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
side-channels
timing attack
Jasmin
leakage-freeness
rejection sampling
Almeida, J.B., Firsov, D., Oliveira, T., Unruh, D. Leakage-free probabilistic Jasmin programs // CPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. New York : ACM, 2025. p. 3-16.