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
2025
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
https://doi.org/10.1145/3703595.3705871
subject term
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
keyword
cryptography
EasyCrypt
side-channels
timing attack
formal methods
Jasmin
leakage-freeness
rejection sampling
ISBN
979-8-4007-1347-7
notes
Bibliogr.: 19 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise