Leakage-free probabilistic Jasmin programs
autor
Almeida, José Bacelar
Firsov, Denis
Oliveira, Tiago
Unruh, Dominique
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
ACM
ilmumisaasta
2025
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
leitav
https://doi.org/10.1145/3703595.3705871
märksõna
krüptograafia
formaalsed meetodid (informaatika)
arvutiprogrammid
Scopus
https://www.scopus.com/pages/publications/85217864230?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001437798900003
võtmesõna
cryptography
EasyCrypt
side-channels
timing attack
formal methods
Jasmin
leakage-freeness
rejection sampling
ISBN
979-8-4007-1347-7
märkused
Bibliogr.: 19 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise