full record print

Leakage-free probabilistic Jasmin programs

author
Almeida, José Bacelar
Firsov, Denis
Oliveira, Tiago
Unruh, Dominique
statement of authorship
José Bacelar Almeida, Denis Firsov, Tiago Oliviera, Dominique Unruh
source
CPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs
location of publication
New York
publisher
ACM
year of publication
pages
p. 3-16
conference name, date
CPP '25 : 14th ACM SIGPLAN International Conference on Certified Programs and ProofsDenver, January 20-21, 2025
conference location
Denver, Colorado, USA
url
ISBN
979-8-4007-1347-7
notes
Bibliogr.: 19 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
cryptography
EasyCrypt
side-channels
timing attack
formal methods
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. https://doi.org/10.1145/3703595.3705871